Closed cmertz closed 9 years ago
This should get rid of zombie processes created by run().
Looks good. Thx.
This should get rid of zombie processes created by run().