Setting to change server for CREST, and some other improvements.

2015-10-31 13:20:13 -04:00
parent 24f770aa7b
commit ccb9e085b2
8 changed files with 79 additions and 35 deletions
--- a/service/server.py
+++ b/service/server.py
@@ -88,7 +88,10 @@ class StoppableHTTPServer(BaseHTTPServer.HTTPServer):

    def serve(self):
        while self.run:
-            self.handle_request()
+            try:
+                self.handle_request()
+            except TypeError:
+                pass

 if __name__ == "__main__":
    httpd = StoppableHTTPServer(('', 6461), AuthHandler)