# HG changeset patch
# User paulb
# Date 1164058533 0
# Node ID 9e21a352922e41fcdd9fc5db318d870692cdc60a
# Parent  0023bbcf6d960e82c61ba2dd5213edabdb7eaf2e
[project @ 2006-11-20 21:35:33 by paulb]
Switch to more correct exit function.

diff -r 0023bbcf6d96 -r 9e21a352922e pprocess.py
--- a/pprocess.py	Thu Jun 19 21:43:13 2008 +0200
+++ b/pprocess.py	Mon Nov 20 21:35:33 2006 +0000
@@ -348,7 +348,7 @@
                 channel.send(exc_value)
         finally:
             channel.close()
-            sys.exit(0)
+            os._exit(0)
     else:
         return channel