diff options
Diffstat (limited to 'executor/executor.cc')
| -rw-r--r-- | executor/executor.cc | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/executor/executor.cc b/executor/executor.cc index 5136008c5..4405548df 100644 --- a/executor/executor.cc +++ b/executor/executor.cc @@ -202,7 +202,10 @@ int main(int argc, char** argv) fail("loop failed"); if (status == kErrorStatus) error("loop errored"); - fail("loop exited with status %d", status); + // Loop can be killed by a test process with e.g.: + // ptrace(PTRACE_SEIZE, 1, 0, 0x100040) + // This is unfortunate, but I don't have a better solution than ignoring it for now. + exitf("loop exited with status %d", status); return 0; } |