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
Cheers,
Simon
_______________________________________________
Glasgow-haskell-users mailing list
Glasgow-haskell-users@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
