equal
deleted
inserted
replaced
63 # update HMITree |
63 # update HMITree |
64 # - values |
64 # - values |
65 # - refresh rates / subsriptions |
65 # - refresh rates / subsriptions |
66 |
66 |
67 # TODO multiclient : pass client index as well |
67 # TODO multiclient : pass client index as well |
68 pass |
68 |
|
69 # |
|
70 svghmi_recv_dispatch(len(msg), ctypes.c_void_p.from_buffer_copy(msg)) |
69 |
71 |
70 def sendMessage(self, msg): |
72 def sendMessage(self, msg): |
71 self.sendMessage(msg, True) |
73 self.sendMessage(msg, True) |
72 |
74 |
73 class HMIProtocol(WebSocketServerProtocol): |
75 class HMIProtocol(WebSocketServerProtocol): |