diff --git a/src/Main/bootstrap.cxx b/src/Main/bootstrap.cxx index 550d028e2..d21a5fefc 100644 --- a/src/Main/bootstrap.cxx +++ b/src/Main/bootstrap.cxx @@ -183,7 +183,7 @@ void segfault_handler(int signo) { free(list); } - exit(1); + kill(getpid(), signo); } #endif