git://git.onelab.eu
/
nodemanager.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
it's going to work much better with this
[nodemanager.git]
/
tools.py
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)
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)
signal.signal(signal.SIGHUP,handler)
signal.signal(signal.SIGQUIT,handler)
signal.signal(signal.SIGINT,handler)