how to terminate an external program after timeout?

[Simon Marlow]

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