equal
deleted
inserted
replaced
707 if svghmi_watchdog is not None: |
707 if svghmi_watchdog is not None: |
708 svghmi_watchdog.cancel() |
708 svghmi_watchdog.cancel() |
709 svghmi_watchdog = None |
709 svghmi_watchdog = None |
710 |
710 |
711 svghmi_root, svghmi_listener, path_list = svghmi_servers["{interface}:{port}"] |
711 svghmi_root, svghmi_listener, path_list = svghmi_servers["{interface}:{port}"] |
712 svghmi_root.delEntity('{path}') |
712 svghmi_root.delEntity(b'{path}') |
713 |
713 |
714 path_list.remove('{path}') |
714 path_list.remove('{path}') |
715 |
715 |
716 if len(path_list)==0: |
716 if len(path_list)==0: |
717 svghmi_root.delEntity("ws") |
717 svghmi_root.delEntity(b"ws") |
718 svghmi_listener.stopListening() |
718 svghmi_listener.stopListening() |
719 svghmi_servers.pop("{interface}:{port}") |
719 svghmi_servers.pop("{interface}:{port}") |
720 |
720 |
721 stop_proc = {svghmi_cmds[Stop]} |
721 stop_proc = {svghmi_cmds[Stop]} |
722 waitpid_timeout(stop_proc, "SVGHMI stop command") |
722 waitpid_timeout(stop_proc, "SVGHMI stop command") |