equal
deleted
inserted
replaced
50 global _WampSession, _WampSessionEvent |
50 global _WampSession, _WampSessionEvent |
51 _WampSessionEvent.clear() |
51 _WampSessionEvent.clear() |
52 _WampSession = None |
52 _WampSession = None |
53 print 'WAMP session left' |
53 print 'WAMP session left' |
54 |
54 |
55 PLCObjDefaults = { "StartPLC": False, |
55 PLCObjDefaults = { |
56 "GetTraceVariables": ("Broken", None), |
56 "StartPLC": False, |
57 "GetPLCstatus": ("Broken", None), |
57 "GetTraceVariables": ("Broken", None), |
58 "RemoteExec": (-1, "RemoteExec script failed!")} |
58 "GetPLCstatus": ("Broken", None), |
|
59 "RemoteExec": (-1, "RemoteExec script failed!") |
|
60 } |
59 |
61 |
60 |
62 |
61 def WAMP_connector_factory(uri, confnodesroot): |
63 def WAMP_connector_factory(uri, confnodesroot): |
62 """ |
64 """ |
63 WAMP://127.0.0.1:12345/path#realm#ID |
65 WAMP://127.0.0.1:12345/path#realm#ID |