-
Simon Marlow authored
A better timeout. This one starts a new session for the child process, and attempts to kill the entire group when the time expires (previously we only killed the direct child, if the child itself had spawned more processes these would continue to run). The new scheme is only for Unix, presumably we have to do something different on Windows. Code partly from Ian Lynagh.
01a7c0fe