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 | af80da3fecbd56554314b1135872272cc7d3793a (patch) | |
| tree | 63dd7e160fac5ff31ba3fa6be22e3b7fc0d46851 /realtime/rt/aligner.py | |
| parent | 3564060d2567816e526f5c002aee906e85f51d50 (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() |