Thank you very much for your answers. Felipe's suggestion to use waitForProcess after terminateProcess did the trick. No more zombies around :)
Best regards, Dan Rosén On Wed, Dec 7, 2011 at 4:39 PM, Donn Cave <[email protected]> wrote: > Quoth Felipe Almeida Lessa <[email protected]>, > > On Wed, Dec 7, 2011 at 1:19 PM, Brandon Allbery <[email protected]> > wrote: > >> They *do* terminate; a zombie is a dead process waiting for its parent > to > >> reap it with waitForProcess. There's also some POSIX stuff you can do > to > >> have them auto-reaped, but doing that correctly and portably is somewhat > >> painful. > > > > But zombie processes do consume a row in the process table, right? If > > so, then it's bad to have them around. > > Correct. As noted above, clean up with waitForProcess to release this > resource. If it's more convenient, that could be done up front, by > forking twice and waiting for the intermediate process. One possibly > convenient way to do that might be something like runCommand "eprover &". > > Donn > > _______________________________________________ > Haskell-Cafe mailing list > [email protected] > http://www.haskell.org/mailman/listinfo/haskell-cafe >
_______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
