|
@@ -9,7 +9,7 @@ def link(username, objects, fast):
|
|
|
if not fast:
|
|
|
definers["main"] = None
|
|
|
for obj in objects:
|
|
|
- print("[LINK] %s" % (obj))
|
|
|
+ print("[SYMB] %s" % (obj))
|
|
|
urllib2.urlopen(urllib2.Request("http://localhost:8001/", urllib.urlencode({"op": "set_input", "element_type": "V", "value": '3', "username": username}))).read()
|
|
|
urllib2.urlopen(urllib2.Request("http://localhost:8001/", urllib.urlencode({"op": "set_input", "element_type": "V", "value": '"read_symbols"', "username": username}))).read()
|
|
|
urllib2.urlopen(urllib2.Request("http://localhost:8001/", urllib.urlencode({"op": "set_input", "element_type": "V", "value": '"%s"' % obj, "username": username}))).read()
|
|
@@ -39,6 +39,7 @@ def link(username, objects, fast):
|
|
|
# Ok, we know that all symbols can be defined with this set of files, now link their initializers together
|
|
|
initializers = []
|
|
|
for obj in objects:
|
|
|
+ print("[LINK] %s" % (obj))
|
|
|
urllib2.urlopen(urllib2.Request("http://localhost:8001/", urllib.urlencode({"op": "set_input", "element_type": "V", "value": '3', "username": username}))).read()
|
|
|
urllib2.urlopen(urllib2.Request("http://localhost:8001/", urllib.urlencode({"op": "set_input", "element_type": "V", "value": '"read_initializers"', "username": username}))).read()
|
|
|
urllib2.urlopen(urllib2.Request("http://localhost:8001/", urllib.urlencode({"op": "set_input", "element_type": "V", "value": '"%s"' % obj, "username": username}))).read()
|