author | Edouard Tisserant <edouard.tisserant@gmail.com> |
Sun, 05 Jan 2025 23:09:34 +0100 (2 months ago) | |
changeset 4087 | 70a8d4893c06 |
parent 4086 | 0f5a69ab57a1 |
child 4088 | 45a66c3fa78a |
--- 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(