瀏覽代碼

Changed localhost to 127.0.0.1 for Windows

Yentl Van Tendeloo 9 年之前
父節點
當前提交
7ba9dcf256
共有 3 個文件被更改,包括 5 次插入5 次删除
  1. 1 1
      README.md
  2. 2 2
      integration/utils.py
  3. 2 2
      scripts/prompt.py

+ 1 - 1
README.md

@@ -34,7 +34,7 @@ Even on systems that don't support globbing (e.g., Windows), this will automatic
 For example, to compile the simple textual interface, you must compile the interface's action language, together with all bootstrapping code (the libraries):
 
 ```sh
-python scripts/make_all.py http://localhost:8001 test_user bootstrap/*.alc integration/code/pn_interface.alc
+python scripts/make_all.py http://127.0.0.1:8001 test_user bootstrap/*.alc integration/code/pn_interface.alc
 ```
 
 Compilation is (relatively) smart, as it will not compile code again that is already present in the Modelverse.

+ 2 - 2
integration/utils.py

@@ -107,7 +107,7 @@ def run_file(files, parameters, expected, mode):
 
     time.sleep(0.01)
     port = getFreePort()
-    address = "http://localhost:%i" % port
+    address = "http://127.0.0.1:%i" % port
     try:
         # Run Modelverse server
         proc = execute("run_local_modelverse", [str(port)], wait=False)
@@ -186,7 +186,7 @@ def run_file(files, parameters, expected, mode):
 
 def run_barebone(parameters, expected, interface="0", timeout=False, wait=False, link=None, inputs=[]):
     port = getFreePort()
-    address = "http://localhost:%i" % port
+    address = "http://127.0.0.1:%i" % port
     try:
         # Run Modelverse server
         proc = execute("run_local_modelverse", [str(port)], wait=False)

+ 2 - 2
scripts/prompt.py

@@ -17,11 +17,11 @@ def remote_print(string):
     print(string)
 
 local_print("Welcome to the local shell!")
-local_print("Please specify Modelverse location (default: localhost:8001)")
+local_print("Please specify Modelverse location (default: 127.0.0.1:8001)")
 
 location = raw_input()
 if location == "":
-    address = "localhost"
+    address = "127.0.0.1"
     port = 8001
 else:
     address, port = location.strip().split(":")