X-Git-Url: http://git.onelab.eu/?a=blobdiff_plain;f=tools.py;h=862efc665838601f2fdfd971899480a9ae932e2d;hb=8e84293a0db05b00dcb049b912397b5c3230e31e;hp=f08182632d657c3b2493a66f0b77b21d9eaa0b1e;hpb=cbe129e67722d4c042fd48d045ef43d8796381e8;p=nodemanager.git

diff --git a/tools.py b/tools.py
index f081826..862efc6 100644
--- a/tools.py
+++ b/tools.py
@@ -333,7 +333,7 @@ def command_in_slice (slicename, argv):
 def init_signals ():
     def handler (signum, frame):
         logger.log("Received signal %d - exiting"%signum)
-        exit(1)
+        os._exit(1)
     signal.signal(signal.SIGHUP,handler)
     signal.signal(signal.SIGQUIT,handler)
     signal.signal(signal.SIGINT,handler)