[project @ 2005-04-22 17:15:51 by sof]
authorsof <unknown>
Fri, 22 Apr 2005 17:15:51 +0000 (17:15 +0000)
committersof <unknown>
Fri, 22 Apr 2005 17:15:51 +0000 (17:15 +0000)
commitc3b7d57d0785dfe48ec7f31c34571fc7c3d39a0a
treecc3f334fda9ce822ed07415eedc03b2c08cd69e0
parentecb1a539308e65d242d963f00adc8c6c41e4972a
[project @ 2005-04-22 17:15:51 by sof]
Switch away from using _spawnv() to CreateProcess(); the former has the
annoying 'feature' that it quits upon Ctrl-C, leaving its child in the
background. Use CreateProcess() instead and avoid the Ctrl-C issue by
having the wrapper let go of its console before waiting for the sub-process
running GHCi to exit.

This still doesn't fix the issue of Ctrl-C handling when the 'ghci' wrapper
is invoked from a cygwin-based bash. cmd.exe users will hopefully see
an improvement in behaviour though.

Merge to STABLE.
ghc/driver/ghci/ghci.c