|
@@ -4,12 +4,15 @@ import urllib2
|
|
|
import json
|
|
|
|
|
|
sys.path.append("scripts")
|
|
|
-from process import send_to_mv
|
|
|
|
|
|
def link(address, username, objects):
|
|
|
# Read out all symbol tables that are to be linked
|
|
|
definers = {}
|
|
|
users = {}
|
|
|
+ def flush_data(data):
|
|
|
+ if data:
|
|
|
+ urllib2.urlopen(urllib2.Request(address, urllib.urlencode({"op": "set_input", "data": json.dumps(data), "username": username})), timeout=10).read()
|
|
|
+ return []
|
|
|
flush_data(address, [3, "link_and_load"] + objects + ["", "main"], username)
|
|
|
|
|
|
v = urllib2.urlopen(urllib2.Request(address, urllib.urlencode({"op": "get_output", "username": username}))).read()
|