(panic): Instead of exiting successfully, commit suicide by re-raising

the signal.

diff --git a/src/server/main.c b/src/server/main.c
index f9d859ea431b1b8dd0d9c0b351b69b4a19aaffbb..77c917f9e3ab9822f32d4d71b5bd0803b945c7b5 100644 (file)
--- a/src/server/main.c
+++ b/src/server/main.c
@@ -320,7 +320,11 @@ panic(int sig)
     logerror("server received fatal signal %d", sig);
     log_last_commands();
     close_files();
-    _exit(0);
+    if (CANT_HAPPEN(sig != SIGBUS && sig != SIGSEGV
+                   && sig != SIGILL && sig != SIGFPE))
+       _exit(1);
+    if (raise(sig))
+       _exit(1);
 }
 
 void