Changing default to no wait shutdown of process pool_exec

OFFIS-DAI · Mar 11, 2024 · 2c26c2e · 2c26c2e
1 parent bdbb66c
commit 2c26c2e
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/mango/util/scheduling.py b/mango/util/scheduling.py
@@ -879,3 +879,5 @@ def shutdown(self):
                 event[1].set()
         for task, _, _, _ in self._scheduled_tasks:
             task.close()
+        if self._process_pool_exec is not None:
+            self._process_pool_exec.shutdown()