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(