equal
deleted
inserted
replaced
49 def onLeave(self, details): |
49 def onLeave(self, details): |
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 |
55 PLCObjDefaults = { |
56 PLCObjDefaults = { |
56 "StartPLC": False, |
57 "StartPLC": False, |
57 "GetTraceVariables": ("Broken", None), |
58 "GetTraceVariables": ("Broken", None), |
58 "GetPLCstatus": ("Broken", None), |
59 "GetPLCstatus": ("Broken", None), |