how to terminate an external program after timeout?

[Christian Maeder]

Hi,

thanks for pointing this out.

Am 29.09.2010 06:47, schrieb Andrés Sicard-Ramírez:
> Hi Christian,
> 
> On Thu, Sep 9, 2010 at 4:35 AM, Christian Maeder
> <Christian.Maeder at dfki.de> wrote:
>> 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.
>>
> 
> Maybe you want to know that the latest version of Metis has a new
> --time-limit command line argument
> 
> http://www.gilith.com/pipermail/metis-users/2010-September/000001.html

This message also suggest "ulimit", though. We'll try it out the choices.

Christian

> 
> Best regards,
>