connectors/WAMP/__init__.py
changeset 2338 2c3222433244
parent 2006 c4ba142bf3fb
child 2339 48b4eba13064
--- a/connectors/WAMP/__init__.py	Fri Nov 16 14:04:51 2018 +0100
+++ b/connectors/WAMP/__init__.py	Mon Nov 19 10:39:50 2018 +0100
@@ -69,10 +69,10 @@
     WAMP://127.0.0.1:12345/path#realm#ID
     WAMPS://127.0.0.1:12345/path#realm#ID
     """
-    servicetype, location = uri.split("://")
+    scheme, location = uri.split("://")
     urlpath, realm, ID = location.split('#')
     urlprefix = {"WAMP":  "ws",
-                 "WAMPS": "wss"}[servicetype]
+                 "WAMPS": "wss"}[scheme]
     url = urlprefix+"://"+urlpath
 
     def RegisterWampClient():