# HG changeset patch
# User Edouard Tisserant <edouard.tisserant@gmail.com>
# Date 1736114974 -3600
# Node ID 70a8d4893c067998b35bae20caa05dd560e31051
# Parent  0f5a69ab57a19b8197aa6e9890ae313d2b963849
SVGHMI: Fix potential zombie thread after stop caused by misuse of ctype.

diff -r 0f5a69ab57a1 -r 70a8d4893c06 svghmi/svghmi_server.py
--- 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(