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