Proposal: System.Timeout module for base (Trac #980)

[Johannes Waldmann]

>   2. call waitForProcess; when it completes, kill the other thread(s)

does this work? In GHC docs for killThread/throwTo it says:

> If the target thread is currently making a foreign call, then the
> exception will not be raised (and hence throwTo will not return) until
> the call has completed.


-- 
-- Johannes Waldmann -- Tel/Fax (0341) 3076 6479/80 --
---- http://www.imn.htwk-leipzig.de/~waldmann/ -------