[project @ 2005-01-31 13:51:22 by simonmar]

[project @ 2005-01-31 13:51:22 by simonmar]
Some improvements to System.Cmd.{system,rawSystem} on Un*x systems:
these commands now do the appropriate signal handling, namely ignoring
SIGINT/SIGQUIT in the parent but allowing these signals in the child.
This behaviour matches the Un*x system().

What this means is that when System.Cmd.system is executing, ^C only
kills the child process, the parent will see an exception.