Commited on Fri. August 11, 2006 at 10:39:45 EDT
better shutdown sequence -- each process waits for its child to exit before exiting itself
Was kind-of working before, but parent could exit if the child was signaled, such as via gdb. New method waits for child to actually exit instead, allowing debugging of destructor issues at shutdown.