diff --git a/sphinx/util/parallel.py b/sphinx/util/parallel.py index 201e5b5e250..b87453b06ba 100644 --- a/sphinx/util/parallel.py +++ b/sphinx/util/parallel.py @@ -96,10 +96,9 @@ def join(self) -> None: 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):