diff --git a/os/osinit.c b/os/osinit.c index cd769d181..8575319ff 100644 --- a/os/osinit.c +++ b/os/osinit.c @@ -52,6 +52,7 @@ SOFTWARE. #include #include "os.h" #include "osdep.h" +#include "opaque.h" #include #include #include @@ -74,8 +75,6 @@ SOFTWARE. #define ADMPATH "/usr/adm/X%smsgs" #endif -extern char *display; - #ifdef RLIMIT_DATA int limitDataSpace = -1; #endif @@ -151,6 +150,9 @@ OsSigHandler(int signo) } #endif + if (signo != SIGQUIT) + CoreDump = TRUE; + FatalError("Caught signal %d (%s). Server aborting\n", signo, strsignal(signo)); }