diff options
Diffstat (limited to 'sphinx/util/parallel.py')
| -rw-r--r-- | sphinx/util/parallel.py | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/sphinx/util/parallel.py b/sphinx/util/parallel.py index fec275572..16bb5f200 100644 --- a/sphinx/util/parallel.py +++ b/sphinx/util/parallel.py @@ -98,10 +98,9 @@ class ParallelTasks: while self._pworking: if not self._join_one(): time.sleep(0.02) - except Exception: + finally: # shutdown other child processes on failure self.terminate() - raise def terminate(self) -> None: for tid in list(self._precvs): |