svghmi/svghmi_server.py
changeset 4087 70a8d4893c06
parent 4004 19f8192b7d68
--- 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 @@
     size = ctypes.c_uint32()
     ptr = ctypes.c_void_p()
     res = 0
-    while svghmi_continue_collect:
+    while svghmi_continue_collect.value:
         svghmi_wait()
         for svghmi_session in svghmi_session_manager.iter_sessions():
             res = svghmi_send_collect(