--- a/svghmi/svghmi_server.py Sun Jan 05 23:05:08 2025 +0100
+++ b/svghmi/svghmi_server.py Sun Jan 05 23:09:34 2025 +0100
@@ -253,7 +253,7 @@
- while svghmi_continue_collect:
+ while svghmi_continue_collect.value: for svghmi_session in svghmi_session_manager.iter_sessions():
res = svghmi_send_collect(