Also shut down when SIGTERM was received

Fixes #4251
This commit is contained in:
est31 2016-06-24 20:43:29 +02:00
parent 9997e2030c
commit ab7a5c4ff1

@ -75,11 +75,16 @@ bool * signal_handler_killstatus(void)
#if !defined(_WIN32) // POSIX #if !defined(_WIN32) // POSIX
#include <signal.h> #include <signal.h>
void sigint_handler(int sig) void signal_handler(int sig)
{ {
if (!g_killed) { if (!g_killed) {
dstream << "INFO: sigint_handler(): " if (sig == SIGINT) {
dstream << "INFO: signal_handler(): "
<< "Ctrl-C pressed, shutting down." << std::endl; << "Ctrl-C pressed, shutting down." << std::endl;
} else if (sig == SIGTERM) {
dstream << "INFO: signal_handler(): "
<< "got SIGTERM, shutting down." << std::endl;
}
// Comment out for less clutter when testing scripts // Comment out for less clutter when testing scripts
/*dstream << "INFO: sigint_handler(): " /*dstream << "INFO: sigint_handler(): "
@ -88,13 +93,14 @@ void sigint_handler(int sig)
g_killed = true; g_killed = true;
} else { } else {
(void)signal(SIGINT, SIG_DFL); (void)signal(sig, SIG_DFL);
} }
} }
void signal_handler_init(void) void signal_handler_init(void)
{ {
(void)signal(SIGINT, sigint_handler); (void)signal(SIGINT, signal_handler);
(void)signal(SIGTERM, signal_handler);
} }
#else // _WIN32 #else // _WIN32