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