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}")