diff options
| -rw-r--r-- | src/server/rz_server.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/server/rz_server.py b/src/server/rz_server.py index cb48c020..2908d2e4 100644 --- a/src/server/rz_server.py +++ b/src/server/rz_server.py @@ -307,11 +307,12 @@ def init_user_db(): def init_signal_handlers(): def signal_handler__exit(signum, frame): - log.info('received exit signal: SIGINT') + log.info('received exit signal: SIGINT/SIGTERM') shutdown() exit(0) signal.signal(signal.SIGINT, signal_handler__exit) + signal.signal(signal.SIGTERM, signal_handler__exit) def shutdown(): user_db.shutdown() |