From 728cb720e733b88237add08ac09168e81e57153f Mon Sep 17 00:00:00 2001 From: Nicole O'Connor Date: Mon, 13 Feb 2023 13:39:44 -0800 Subject: [PATCH] handle keyboardinterrupt slightly more gracefully --- app/index.wsgi | 10 ++++++++-- 1 file changed, 8 insertions(+), 2 deletions(-) diff --git a/app/index.wsgi b/app/index.wsgi index 8536120..b4f6f62 100644 --- 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() \ No newline at end of file + try: + http_server = WSGIServer(('', 80), core.app) + http_server.serve_forever() + except KeyboardInterrupt: + print("Goodnight, moon ...") + sys.exit(0) \ No newline at end of file