|
@@ -35,6 +35,7 @@ class ConstructorsObjectVisitor(ConstructorsVisitor):
|
|
|
flush_data([3, "is_defined", self.obj_file])
|
|
|
|
|
|
v = urllib2.urlopen(urllib2.Request(self.address, urllib.urlencode({"op": "get_output", "username": self.username}))).read()
|
|
|
+ v = json.loads(v)
|
|
|
simple_filename = self.real_file.rsplit("/")[-1]
|
|
|
if v == "None":
|
|
|
# Not defined, so recompile
|