Fix hanging bug by adding manager

2022-07-03 16:01:52 +02:00 · 2022-07-03 16:01:52 +02:00 · 2f4d203446
commit 2f4d203446
parent ad1b2a20ef
1 changed files with 40 additions and 30 deletions
--- a/src/great_ai/utilities/parallel_map/threaded_parallel_map.py
+++ b/src/great_ai/utilities/parallel_map/threaded_parallel_map.py
@ -118,4 +118,4 @@ def threaded_parallel_map(
    )
    should_stop.set()
    for t in threads:
-        t.join()
+        t.join(1)