Changing default to no wait shutdown of process pool_exec

OFFIS-DAI · Mar 8, 2024 · e01de8c · e01de8c
1 parent e377664
commit e01de8c
Showing 1 changed file with 0 additions and 3 deletions.
diff --git a/mango/util/scheduling.py b/mango/util/scheduling.py
@@ -879,6 +879,3 @@ def shutdown(self, wait=False):
                 event[1].set()
         for task, _, _, _ in self._scheduled_tasks:
             task.close()
-        if self._manager is not None:
-            self._manager.shutdown()
-        self._process_pool_exec.shutdown(wait=wait, cancel_futures=True)