when doing e.g. systemctl stop nm.service, systemd attempts to kill nm, so we need...
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Fri, 31 Jan 2014 15:59:12 +0000 (16:59 +0100)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Fri, 31 Jan 2014 15:59:12 +0000 (16:59 +0100)
tools.py

index f081826..862efc6 100644 (file)
--- 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)