Browse Source

Fixed output generation of modelverse

Yentl Van Tendeloo 8 years ago
parent
commit
98124d3808
2 changed files with 5 additions and 2 deletions
  1. 4 1
      hybrid_server/run_mvk_server.py
  2. 1 1
      integration/utils.py

+ 4 - 1
hybrid_server/run_mvk_server.py

@@ -7,4 +7,7 @@ import socket2event
 controller = server.Controller(sys.argv[1:])
 socket2event.boot_translation_service(controller)
 
-controller.start()
+try:
+    controller.start()
+except KeyboardInterrupt:
+    pass

+ 1 - 1
integration/utils.py

@@ -65,7 +65,7 @@ def kill(process):
         subprocess.call(["taskkill", "/F", "/T", "/PID", "%i" % process.pid])
     elif os.name == "posix":
         child_kill(process.pid)
-        process.terminate()
+        process.send_signal(signal.SIGINT)
         process.wait()
         child_kill(os.getpid())