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/rt.py | |
| parent | f59725bbd717ecec3be62e7f67013b30e3d95987 (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() |