how to terminate an external program after timeout?

Christian Maeder Christian.Maeder at
Thu Sep 9 05:39:43 EDT 2010

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.


> Any suggestions how we should handle this ideally portably but first of
> all under unix. (ghc-6.12.3)
> Thanks Christian

More information about the Glasgow-haskell-users mailing list