diff options
| author | Clayton Smith <argilo@gmail.com> | 2018-09-27 18:45:24 -0400 |
|---|---|---|
| committer | Marcus Müller <marcus@hostalia.de> | 2018-11-01 15:14:43 +0100 |
| commit | 0bb482acbecb722f227e257606589b0395a32706 (patch) | |
| tree | f913b595f6d36e376fcf3c211403ad29f714b229 | |
| parent | fdd91f67e96eaf3b65ac17ffe7b3e40139a89c63 (diff) | |
Clean up resources allocated by run_worker.
| -rw-r--r-- | grc/core/utils/extract_docs.py | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/grc/core/utils/extract_docs.py b/grc/core/utils/extract_docs.py index 306940dcfd..9daac3f361 100644 --- a/grc/core/utils/extract_docs.py +++ b/grc/core/utils/extract_docs.py @@ -166,7 +166,11 @@ class SubprocessLoader(object): break # normal termination, return finally: if self._worker: + self._worker.stdin.close() + self._worker.stdout.close() + self._worker.stderr.close() self._worker.terminate() + self._worker.wait() else: print("Warning: docstring loader crashed too often", file=sys.stderr) self._thread = None |