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