diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2018-06-29 16:33:07 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2018-06-29 16:33:07 +0200 |
| commit | 9dd8cf63e09242d6e3fcf84628f412585fccf057 (patch) | |
| tree | f9d6088fc2e6233bb04b12926e1baad7aed52950 /executor/common_fuchsia.h | |
| parent | 9efa2eab698f83f1f3ed7df14af83c28c002bca7 (diff) | |
executor, pkg/ipc: support output over pipes
Diffstat (limited to 'executor/common_fuchsia.h')
| -rw-r--r-- | executor/common_fuchsia.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/executor/common_fuchsia.h b/executor/common_fuchsia.h index 7db03e05e..f7b36ee48 100644 --- a/executor/common_fuchsia.h +++ b/executor/common_fuchsia.h @@ -67,7 +67,7 @@ static void segv_handler() longjmp(segv_env, 1); } debug("recover: exiting\n"); - doexit(1); + doexit(SIGSEGV); } static void* ex_handler(void* arg) |