1 Mar
2007
1 Mar
'07
6:47 a.m.
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/ -------