summaryrefslogtreecommitdiff
path: root/src/server/rz_server.py
diff options
context:
space:
mode:
authorLV-426 <lv-426@taproot.org.il>2015-02-05 17:14:24 +0200
committerLV-426 <lv-426@taproot.org.il>2015-02-05 17:14:24 +0200
commit2ebbba215851f907bfbe13f1d7be5a70d8e6f8b7 (patch)
tree0fc56a84083757a7c22fd62f0e7b3375dd3ed122 /src/server/rz_server.py
parent6e69b4333c863fbb9df9fabbb56efea4c8c8d153 (diff)
rz_server: listen for SIGTERM as well
Diffstat (limited to 'src/server/rz_server.py')
-rw-r--r--src/server/rz_server.py3
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()