12 lines
487 B
Diff
12 lines
487 B
Diff
diff --git a/sphinx/util/parallel.py b/sphinx/util/parallel.py
|
|
index ce51ac0..64f9bc1 100644
|
|
--- a/sphinx/util/parallel.py
|
|
+++ b/sphinx/util/parallel.py
|
|
@@ -100,6 +100,7 @@ class ParallelTasks(object):
|
|
raise SphinxParallelError(*result)
|
|
self._result_funcs.pop(tid)(self._args.pop(tid), result)
|
|
self._procs[tid].join()
|
|
+ self._precvs.pop(tid)
|
|
self._pworking -= 1
|
|
break
|
|
else:
|