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/rt.py | |
| parent | 3564060d2567816e526f5c002aee906e85f51d50 (diff) | |
wait() to avoid zombies
Diffstat (limited to 'realtime/rt/rt.py')
| -rw-r--r-- | realtime/rt/rt.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/realtime/rt/rt.py b/realtime/rt/rt.py index 7cc5bc10..d1d01ad8 100644 --- a/realtime/rt/rt.py +++ b/realtime/rt/rt.py @@ -140,7 +140,9 @@ class RealtimeTranslator: self.tokenizer_lock.acquire() self.detokenizer_lock.acquire() self.tokenizer.stdin.close() + self.tokenizer.wait() self.detokenizer.stdin.close() + self.detokenizer.wait() if not force: self.tokenizer_lock.release() self.detokenizer_lock.release() |