handle keyboardinterrupt slightly more gracefully

2023-02-13 13:39:44 -08:00
parent ea3c91ef88
commit 728cb720e7
1 changed files with 8 additions and 2 deletions
--- a/app/index.wsgi
+++ b/app/index.wsgi
@@ -3,6 +3,8 @@
 import gevent.monkey
 gevent.monkey.patch_all()

+import sys
+
 import flask
 from gevent.pywsgi import WSGIServer

@@ -16,5 +18,9 @@ def index():

 if __name__ == "__main__":
    #core.app.run("0.0.0.0", 1337)
-    http_server = WSGIServer(('', 80), core.app)
-    http_server.serve_forever()
+    try:
+        http_server = WSGIServer(('', 80), core.app)
+        http_server.serve_forever()
+    except KeyboardInterrupt:
+        print("Goodnight, moon ...")
+        sys.exit(0)