From 9d8225992cb38dbe85bddf341f1ee5d112305971 Mon Sep 17 00:00:00 2001 From: Marco Heinemann Date: Thu, 19 Oct 2023 11:27:04 +0200 Subject: [PATCH] Removed unused imports --- sphinx/builders/__init__.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/sphinx/builders/__init__.py b/sphinx/builders/__init__.py index 4fc57cd16a5..ff26412a96b 100644 --- a/sphinx/builders/__init__.py +++ b/sphinx/builders/__init__.py @@ -664,7 +664,7 @@ def on_chunk_done(args: list[tuple[str, NoneType]], result: NoneType) -> None: logger.info(f'{measure_1}: {self.runtime[measure_1]}') logger.info(f'{measure_2}: {self.runtime[measure_2]}') - with WorkerPool(n_jobs=nproc, start_method='fork', use_dill=False, pass_worker_id=True, enable_insights=True) as pool: + with WorkerPool(n_jobs=nproc, start_method='fork', use_dill=True, pass_worker_id=True, enable_insights=True) as pool: # args = [] # for docname in docnames: # doctree = self.env.get_and_resolve_doctree(docname, self)