Rev4462, Experimental fix for segfault on shutdown

src/Config.py

@@ -13,7 +13,7 @@ class Config(object):
 
     def __init__(self, argv):
         self.version = "0.7.1"
-        self.rev = 4461
+        self.rev = 4462
         self.argv = argv
         self.action = None
         self.test_parser = None

src/util/ThreadPool.py

@@ -55,9 +55,6 @@ class ThreadPool:
         del self.pool
         self.pool = None
 
-    def __del__(self):
-        self.kill()
-
 
 lock_pool = gevent.threadpool.ThreadPool(50)
 main_thread_id = threading.current_thread().ident