Handle KeyboardInterrupt in the main loop

2026-09-01 00:59:24 +00:00 · 2015-06-01 12:02:46 +02:00
parent 939254021e
commit 8c4e547d7a
1 changed files with 2 additions and 0 deletions
@@ -87,6 +87,8 @@ def main():
    try:
        governor.initialize()
        governor.run()
+    except KeyboardInterrupt:
+        pass
    finally:
        governor.touch_member(300)  # schedule member removal
        governor.postgresql.stop()