diff options
| author | mjdenkowski <michael.j.denkowski@gmail.com> | 2013-10-18 16:18:04 -0400 |
|---|---|---|
| committer | mjdenkowski <michael.j.denkowski@gmail.com> | 2013-10-18 16:18:04 -0400 |
| commit | fcaaa588bc1cac13c41d5115e54a9cd07da73cdc (patch) | |
| tree | 4f4d9d66e909939bbb8f3b4e46c89a88904f5c22 /realtime/rt/aligner.py | |
| parent | f59725bbd717ecec3be62e7f67013b30e3d95987 (diff) | |
wait() to avoid zombies
Diffstat (limited to 'realtime/rt/aligner.py')
| -rw-r--r-- | realtime/rt/aligner.py | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/realtime/rt/aligner.py b/realtime/rt/aligner.py index bcc1ef87..c34805eb 100644 --- a/realtime/rt/aligner.py +++ b/realtime/rt/aligner.py @@ -57,8 +57,11 @@ class ForceAligner: if not force: self.lock.acquire() self.fwd_align.stdin.close() + self.fwd_align.wait() self.rev_align.stdin.close() + self.rev_align.wait() self.tools.stdin.close() + self.tools.wait() if not force: self.lock.release() |