From 73938c0f14d2bc0c1e41fd2eb73fffbefadaa684 Mon Sep 17 00:00:00 2001 From: Marco Heinemann Date: Thu, 19 Oct 2023 11:29:48 +0200 Subject: [PATCH] Remove imports --- sphinx/builders/__init__.py | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/sphinx/builders/__init__.py b/sphinx/builders/__init__.py index ff26412a96b..ae9dfeed1c5 100644 --- a/sphinx/builders/__init__.py +++ b/sphinx/builders/__init__.py @@ -6,7 +6,6 @@ import inspect import json import pickle -import re import time from os import path from typing import TYPE_CHECKING, Any @@ -491,7 +490,6 @@ def merge(docs: list[str], otherenv: Environment) -> None: result = results[idx] merge([docname], result) insights = pool.get_insights() - import json print(json.dumps(insights, indent=2)) # print(insights) # tasks = ParallelTasks(nproc) @@ -664,7 +662,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=True, pass_worker_id=True, enable_insights=True) as pool: + with WorkerPool(n_jobs=nproc, start_method='fork', use_dill=False, pass_worker_id=True, enable_insights=True) as pool: # args = [] # for docname in docnames: # doctree = self.env.get_and_resolve_doctree(docname, self)