git://git.onelab.eu
/
nodemanager.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
e7b3c4d
)
when doing e.g. systemctl stop nm.service, systemd attempts to kill nm, so we need...
author
Thierry Parmentelat
<thierry.parmentelat@inria.fr>
Fri, 31 Jan 2014 15:59:12 +0000
(16:59 +0100)
committer
Thierry Parmentelat
<thierry.parmentelat@inria.fr>
Fri, 31 Jan 2014 15:59:12 +0000
(16:59 +0100)
tools.py
patch
|
blob
|
history
diff --git
a/tools.py
b/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)