svghmi/svghmi.py
changeset 3878 58bce98b9ac6
parent 3875 6d65508a059e
child 3880 89549813a6c1
--- a/svghmi/svghmi.py	Fri Nov 24 14:47:14 2023 +0100
+++ b/svghmi/svghmi.py	Fri Nov 24 14:51:27 2023 +0100
@@ -709,12 +709,12 @@
         svghmi_watchdog = None
 
     svghmi_root, svghmi_listener, path_list = svghmi_servers["{interface}:{port}"]
-    svghmi_root.delEntity('{path}')
+    svghmi_root.delEntity(b'{path}')
 
     path_list.remove('{path}')
 
     if len(path_list)==0:
-        svghmi_root.delEntity("ws")
+        svghmi_root.delEntity(b"ws")
         svghmi_listener.stopListening()
         svghmi_servers.pop("{interface}:{port}")