kill child process after closing the gui (#1984)

2024-04-20 19:19:34 +08:00 · 2024-04-20 19:19:34 +08:00 · 1ac5e09f68
parent f7e440fc1d
commit 1ac5e09f68
1 changed files with 3 additions and 1 deletions
--- a/gui_v1.py
+++ b/gui_v1.py
@ -107,7 +107,9 @@ if __name__ == "__main__":
    opt_q = Queue()
    n_cpu = min(cpu_count(), 8)
    for _ in range(n_cpu):
-        Harvest(inp_q, opt_q).start()
+        p = Harvest(inp_q, opt_q)
+        p.daemon = True
+        p.start()

    class GUIConfig:
        def __init__(self) -> None: