1.1 --- a/pprocess.py Thu Jun 19 21:43:13 2008 +0200
1.2 +++ b/pprocess.py Mon Nov 20 21:35:33 2006 +0000
1.3 @@ -348,7 +348,7 @@
1.4 channel.send(exc_value)
1.5 finally:
1.6 channel.close()
1.7 - sys.exit(0)
1.8 + os._exit(0)
1.9 else:
1.10 return channel
1.11