runtime/WampClient.py
changeset 3440 3770ded5db5c
parent 3343 c6de1a6cb655
child 3750 f62625418bff
child 3856 054c4f1b2ea7
--- a/runtime/WampClient.py	Tue Feb 15 11:09:39 2022 +0100
+++ b/runtime/WampClient.py	Wed Mar 02 11:22:55 2022 +0100
@@ -45,7 +45,6 @@
 
 _transportFactory = None
 _WampSession = None
-_PySrv = None
 WorkingDir = None
 
 # Find pre-existing project WAMP config file
@@ -369,11 +368,6 @@
     return "Disconnected"
 
 
-def SetServer(pysrv):
-    global _PySrv
-    _PySrv = pysrv
-
-
 def PublishEvent(eventID, value):
     if getWampStatus() == "Attached":
         _WampSession.publish(text(eventID), value)