pprocess

Change of pprocess.py

61:9e21a352922e
pprocess.py
     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