-
sof authored
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.
c3b7d57d