[project @ 2005-08-04 12:22:17 by simonmar]
authorsimonmar <unknown>
Thu, 4 Aug 2005 12:22:17 +0000 (12:22 +0000)
committersimonmar <unknown>
Thu, 4 Aug 2005 12:22:17 +0000 (12:22 +0000)
commit01a7c0fefc76dd1eb6f0876751ff85ac4e3fe9df
tree92cf2c3f26473906738eaa5357ab31a4d133e026
parenta8931b2f909a3d15b247bd287e7e09cae4fb062b
[project @ 2005-08-04 12:22:17 by simonmar]
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.
testsuite/timeout/Makefile
testsuite/timeout/timeout.hs