diff options
| author | Takeshi KOMIYA <i.tkomiya@gmail.com> | 2017-09-05 01:37:33 +0900 |
|---|---|---|
| committer | Takeshi KOMIYA <i.tkomiya@gmail.com> | 2017-09-05 01:37:33 +0900 |
| commit | 0cb57f19a099be2809a8fb5dc9274f7411e1caac (patch) | |
| tree | f2b0152c82c7482d1fbc60671955f2bd3fa7e280 /sphinx/util/parallel.py | |
| parent | ff06cb837b0d1b9632ccdb38a6df122a36cb60fa (diff) | |
| download | sphinx-git-0cb57f19a099be2809a8fb5dc9274f7411e1caac.tar.gz | |
Fix #4006: Fix crash on parallel build
Diffstat (limited to 'sphinx/util/parallel.py')
| -rw-r--r-- | sphinx/util/parallel.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/sphinx/util/parallel.py b/sphinx/util/parallel.py index 7ca4e94e6..9bc3c36e1 100644 --- a/sphinx/util/parallel.py +++ b/sphinx/util/parallel.py @@ -122,6 +122,7 @@ class ParallelTasks(object): logger.handle(log) self._result_funcs.pop(tid)(self._args.pop(tid), result) self._procs[tid].join() + self._precvs.pop(tid) self._pworking -= 1 break else: |