Backend can now be killed using keyboard interrupt without error

84489fb4 · Taddeüs Kroes · 14ef23ec · 84489fb4
Commit 84489fb4 authored Nov 17, 2012 by Taddeüs Kroes
Hide whitespace changes
Inline Side-by-side

Showing with 5 additions and 2 deletions

src/backend/backend.py src/backend/backend.py +5 -2

No files found.
--- a/src/backend/backend.py
+++ b/src/backend/backend.py
@@ -175,8 +175,11 @@ def start_server(app, port):
    enable_pretty_logging()
-    app.listen(port)
+    try:
-    IOLoop.instance().start()
+        app.listen(port)
+        IOLoop.instance().start()
+    except KeyboardInterrupt:
+        pass
 if __name__ == '__main__':