On Sep 9, 2010, at 6:37 AM, Simon Marlow wrote: > On 09/09/2010 10:39, Christian Maeder wrote: >> Christian Maeder schrieb: >>> Hi, >>> >>> we call from our haskell application the metis prover via >>> >>> System.Process.readProcessWithExitCode "metis" filename "" >>> >>> However, we are not able to get rid of this process if metis does not >>> terminate by itself. In particular, wrapping this call into a >>> System.Timeout.timeout does not work. >> >> timeout works so far as it is possible to start another action, but the >> continuing metis process still blocks the whole system. >> >> C. >> >>> Any suggestions how we should handle this ideally portably but first of >>> all under unix. (ghc-6.12.3) > > Take a look at the timeout program in GHC's test suite: > > http://darcs.haskell.org/testsuite/timeout/timeout.hs
In case it's not obvious, I believe this has to be compiled with -threaded to get the desired behavior. -David > > Cheers, > Simon > _______________________________________________ > Glasgow-haskell-users mailing list > Glasgow-haskell-users@haskell.org > http://www.haskell.org/mailman/listinfo/glasgow-haskell-users > _______________________________________________ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users