diff options
| author | Pepper <pepper@scannerjammer.com> | 2015-09-26 04:14:44 -0400 |
|---|---|---|
| committer | Pepper <pepper@scannerjammer.com> | 2015-09-26 04:14:44 -0400 |
| commit | 4ebeb643da6419835e9ac3adb731e38a8ec9c7b4 (patch) | |
| tree | 4876b43410d67b62a238102ee98bf78f248fee78 /run_server.py | |
| parent | cc7fcec7ea718777f41154a107bdf8c709ed968a (diff) | |
reworked some more
Diffstat (limited to 'run_server.py')
| -rw-r--r-- | run_server.py | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/run_server.py b/run_server.py index eaf3e0b..9d80e6c 100644 --- a/run_server.py +++ b/run_server.py @@ -5,8 +5,5 @@ from server import Server server = Server() if __name__ == "__main__": - try: - server.run_wsgi() - except KeyboardInterrupt: - server.stop() + server.run_wsgi() |