svgui/svgui_server.py
changeset 1740 b789b695b5c6
parent 1736 7e61baa047f0
child 1747 6046ffa2280f
equal deleted inserted replaced
1739:ec153828ded2 1740:b789b695b5c6
   119         for gadget in svguiWidgets.values():
   119         for gadget in svguiWidgets.values():
   120             gadgets.append(unicode(json.dumps(gadget, default=get_object_init_state, indent=2), 'ascii'))
   120             gadgets.append(unicode(json.dumps(gadget, default=get_object_init_state, indent=2), 'ascii'))
   121         d = self.callRemote('init', gadgets)
   121         d = self.callRemote('init', gadgets)
   122         d.addCallback(self.HMIinitialised)
   122         d.addCallback(self.HMIinitialised)
   123 
   123 
   124     def sendData(self,data):
   124     def sendData(self, data):
   125         if self.initialised:
   125         if self.initialised:
   126             return self.callRemote('receiveData',unicode(json.dumps(data, default=get_object_current_state, indent=2), 'ascii'))
   126             return self.callRemote('receiveData', unicode(json.dumps(data, default=get_object_current_state, indent=2), 'ascii'))
   127         return None
   127         return None
   128 
   128 
   129     def setattr(self, id, attrname, value):
   129     def setattr(self, id, attrname, value):
   130         svguiWidgets[id].setinput(attrname, value)
   130         svguiWidgets[id].setinput(attrname, value)
   131 
   131