diff options
Diffstat (limited to 'src/server')
| -rw-r--r-- | src/server/rz_server.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/server/rz_server.py b/src/server/rz_server.py index 903c3eef..fa00f667 100644 --- a/src/server/rz_server.py +++ b/src/server/rz_server.py @@ -281,6 +281,7 @@ def init_signal_handlers(): def signal_handler__exit(signum, frame): log.info('received exit signal: SIGINT') + shutdown() exit(0) signal.signal(signal.SIGINT, signal_handler__exit) |