Re: how to terminate an external program after timeout?

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 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,