From 7431c673097d165197f8b7eb6d39fe5a0b88a2dc Mon Sep 17 00:00:00 2001
From: Anthony Scemama <scemama@users.sourceforge.net>
Date: Wed, 19 Jan 2011 21:49:49 +0100
Subject: [PATCH] Bug with recent versions of Python Version:1.1.60

---
 src/util.py | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/util.py b/src/util.py
index 205e298..f2c0e76 100644
--- a/src/util.py
+++ b/src/util.py
@@ -158,11 +158,11 @@ def parallel_loop(f,source):
     file.close()
 
   if fork == 0:
-    sys.exit(0)
+    os._exit(0)
 
   for i in xrange(1,NTHREADS):
     if os.waitpid(pidlist[i],0)[1] != 0:
-      sys.exit(0)
+      os._exit(0)
 
   result = []
   for filename,text in source: