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 /pkg/csource | |
| parent | 9efa2eab698f83f1f3ed7df14af83c28c002bca7 (diff) | |
executor, pkg/ipc: support output over pipes
Diffstat (limited to 'pkg/csource')
| -rw-r--r-- | pkg/csource/fuchsia_common.go | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pkg/csource/fuchsia_common.go b/pkg/csource/fuchsia_common.go index 5fe83bb72..9d14c5e8d 100644 --- a/pkg/csource/fuchsia_common.go +++ b/pkg/csource/fuchsia_common.go @@ -248,7 +248,7 @@ static void segv_handler() longjmp(segv_env, 1); } debug("recover: exiting\n"); - doexit(1); + doexit(SIGSEGV); } static void* ex_handler(void* arg) |