Change execv for Windows

scripts/run_local_modelverse.py

@@ -10,7 +10,13 @@ else:
 
 os.chdir("hybrid_server")
 subprocess.check_call([sys.executable, "-m", "sccd.compiler.sccdc", "-p", "threads", "server.xml"])
-os.execv(sys.executable, [sys.executable, "run_mvk_server.py", port])
+
+program_to_execute = [sys.executable, "run_mvk_server.py", port]
 
 # Alternative execution modes
-#os.execv(sys.executable, [sys.executable, "-m", "cProfile", "-s", "tottime", "run_mvk_server.py", port])
+#program_to_execute = [sys.executable, "-m", "cProfile", "-s", "tottime", "run_mvk_server.py", port]
+
+if os.name == "nt":
+    subprocess.call(program_to_execute)
+else:
+    os.execv(sys.executable, program_to_execute)