diff options
Diffstat (limited to 'sphinx/util/parallel.py')
| -rw-r--r-- | sphinx/util/parallel.py | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/sphinx/util/parallel.py b/sphinx/util/parallel.py index 193d2a80d..e89418ad3 100644 --- a/sphinx/util/parallel.py +++ b/sphinx/util/parallel.py @@ -81,7 +81,9 @@ class ParallelTasks: logging.convert_serializable(collector.logs) pipe.send((failed, collector.logs, ret)) - def add_task(self, task_func: Callable, arg: Any = None, result_func: Callable = None) -> None: # NOQA + def add_task( + self, task_func: Callable, arg: Any = None, result_func: Optional[Callable] = None + ) -> None: tid = self._taskid self._taskid += 1 self._result_funcs[tid] = result_func or (lambda arg, result: None) |