Remove KeyboardInterrupt for server (#1566)

asreview · Nov 3, 2023 · 5397603 · 5397603
1 parent ebecc93
commit 5397603
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/asreview/webapp/start_flask.py b/asreview/webapp/start_flask.py
@@ -559,4 +559,8 @@ def main(argv):
     else:
         ssl_args = {"keyfile": keyfile, "certfile": certfile} if ssl_context else {}
         server = WSGIServer((host, port), app, **ssl_args)
-        server.serve_forever()
+
+        try:
+            server.serve_forever()
+        except KeyboardInterrupt:
+            print("\n\nShutting down server\n\n")