diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2015-12-24 19:14:15 +0100 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2015-12-24 19:14:15 +0100 |
| commit | d9b493f203ab5649809c4b1a5096272ba6e40bda (patch) | |
| tree | ffad24b18f5f9b127ef0e6f33efb3c7ddb70b82d /executor/syscalls.h | |
| parent | af4e0c0b7a9556fd09c544bb2d8431764118b373 (diff) | |
executor: don't use WUNTRACED in wait
WUNTRACED wait returns when child has stopped.
That's not what we want to wait for.
If it's stopped we need to timeout wait and kill
the stopped child.
Diffstat (limited to 'executor/syscalls.h')
0 files changed, 0 insertions, 0 deletions