|
@@ -93,7 +93,15 @@ class ConstructorsObjectVisitor(ConstructorsVisitor):
|
|
|
|
|
|
# Finish the symbol table
|
|
|
urllib2.urlopen(urllib2.Request("http://localhost:8001/", urllib.urlencode({"op": "set_input", "element_type": "V", "value": 'false', "username": self.username}))).read()
|
|
|
- return True
|
|
|
+
|
|
|
+ # Wait for kernel to signal that it finished
|
|
|
+ urllib2.urlopen(urllib2.Request("http://localhost:8001/", urllib.urlencode({"op": "set_input", "element_type": "V", "value": '2', "username": self.username}))).read()
|
|
|
+ v = urllib2.urlopen(urllib2.Request("http://localhost:8001/", urllib.urlencode({"op": "get_output", "username": self.username}))).read()
|
|
|
+ v = v.split("=", 2)[2]
|
|
|
+ if v == "DONE":
|
|
|
+ return True
|
|
|
+ else:
|
|
|
+ return False
|
|
|
|
|
|
def visit_definition(self, tree):
|
|
|
for a in tree.get_children("ID"):
|