# HG changeset patch # User Edouard Tisserant # Date 1700833887 -3600 # Node ID 58bce98b9ac6ab5d1107d510576ec5f573ff3fcd # Parent ecb947e5bbb4df44a2bdcb48484360212827e5b1 SVGHMI: fix exception when stopping diff -r ecb947e5bbb4 -r 58bce98b9ac6 svghmi/svghmi.py --- 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}")