Browse Source

Changed localhost to 127.0.0.1 for Windows

Yentl Van Tendeloo 9 years ago
parent
commit
ce888dd92f
3 changed files with 5 additions and 5 deletions
  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(":")