author | Edouard Tisserant <edouard.tisserant@gmail.com> |
Fri, 24 Nov 2023 14:51:27 +0100 | |
changeset 3878 | 58bce98b9ac6 |
parent 3877 | ecb947e5bbb4 |
child 3879 | 17d0d1641090 |
svghmi/svghmi.py | file | annotate | diff | comparison | revisions |
--- 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}")