main(): Only the child proces should do an os._exit() - and we put it

within a try/finally to ensure, as best we can, that it happens.  This
may take care of the problems that greg stein was reporting, where a
pipe was failing to properly notice the loss of the parent process -
now the parent should exit normally.  Not sure, this is the best guess
so far (out of a discussion w/scott and barry).

0 files changed, 0 insertions, 0 deletions