self['code']=code
self['value']=value
self['output']=output
+ self['description'] = '' # Jordan: needed by javascript code
def from_json (self, json_string):
d=json.dumps(json_string)
if self['code']==0:
value=self['value']
if isinstance(value,list): result += " [value=list with %d elts]"%len(value)
- else: result += " [value=other %s]"%value
+ elif isinstance(value,dict): result += " [value=dict with keys %s]"%value.keys()
+ else: result += " [value=%s: %s]"%(type(value).__name__,value)
else:
result += " [output=%s]"%self['output']
result += "]]"