Better handlinng of Ctrl+C

Author: wimmers

ML/server.py

@@ -1,13 +1,17 @@
 import BaseHTTPServer
 import subprocess
+import sys
 
 MUNTA_PATH = "./munta"
 PORT = 3069
 
+
 def run_munta(query):
-    p = subprocess.Popen([MUNTA_PATH], stdin=subprocess.PIPE, stdout=subprocess.PIPE)
+    p = subprocess.Popen([MUNTA_PATH, '-s'],
+                         stdin=subprocess.PIPE, stdout=subprocess.PIPE)
     return p.communicate(input=query)
 
+
 class handler(BaseHTTPServer.BaseHTTPRequestHandler):
     def _set_headers(self):
         self.send_response(200)
@@ -25,9 +29,17 @@ def do_POST(self):
         self._set_headers()
         self.wfile.write(run_munta(post_data)[0])
 
+
 def run(server_class=BaseHTTPServer.HTTPServer, handler_class=handler):
     server_address = ('', PORT)
     httpd = server_class(server_address, handler_class)
     httpd.serve_forever()
 
-run()
+
+if __name__ == "__main__":
+    print("Server started.")
+    try:
+        run()
+    except KeyboardInterrupt:
+        print("Server shutting down.")
+        sys.exit(0)