Commit 541b261e authored by Daniel Scheffler's avatar Daniel Scheffler
Browse files

Revised process_controller.stop().

parent 793b0fe2
...@@ -520,6 +520,8 @@ class process_controller(object): ...@@ -520,6 +520,8 @@ class process_controller(object):
if signum == 2: if signum == 2:
raise KeyboardInterrupt('Received a KeyboardInterrupt.') # terminate execution and show traceback raise KeyboardInterrupt('Received a KeyboardInterrupt.') # terminate execution and show traceback
elif signum == 15:
raise SystemExit()
def shutdown(self): def shutdown(self):
"""Shutdown the process controller instance (loggers, remove temporary directories, ...).""" """Shutdown the process controller instance (loggers, remove temporary directories, ...)."""
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment