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).

1 files changed, 4 insertions, 2 deletions

diff --git a/mail/deliver b/mail/deliver
index b8b48d5d0..263d829c0 100755
--- a/mail/deliver
+++ b/mail/deliver
@@ -46,8 +46,10 @@ TRIES = 5                               # Number of times to retry
 
 def main():
     if not forker():
-        do_child()
-    os._exit(0)
+        try:
+            do_child()
+        finally:
+            os._exit(0)
 
 def do_child():
     LogStdErr("error", "deliver (child)")