changeset 2492 | 7dd551ac2fa0 |
parent 2472 | 897687a3c982 |
child 3750 | f62625418bff |
child 3861 | 7e17f7e02a2b |
2491:362039519454 | 2492:7dd551ac2fa0 |
---|---|
157 # TODO : GetPLCID() |
157 # TODO : GetPLCID() |
158 # TODO : PSK.UpdateID() |
158 # TODO : PSK.UpdateID() |
159 |
159 |
160 return WampPLCObjectProxy |
160 return WampPLCObjectProxy |
161 |
161 |
162 |
|
162 WAMP_connector_factory = partial(_WAMP_connector_factory, WampSession) |
163 WAMP_connector_factory = partial(_WAMP_connector_factory, WampSession) |