signal handlers: be more elaborate about caught signals

diff --git a/src/config.cc b/src/config.cc
index 0d9c8d802fb74043ff5b6d14489365e1567e420c..2270ca0038af81e7997fdbaac2898403085221d4 100644 (file)
--- a/src/config.cc
+++ b/src/config.cc
@@ -216,6 +216,7 @@ static void (*old_sigabrt_handler)(int);
 
 void sigsegv_handler(int signum)
 {
+  *_dout << "*** Caught signal (SEGV) ***" << std::endl;
   BackTrace bt(0);
   bt.print(*_dout);
 
@@ -224,6 +225,7 @@ void sigsegv_handler(int signum)
 
 void sigabrt_handler(int signum)
 {
+  *_dout << "*** Caught signal (ABRT) ***" << std::endl;
   BackTrace bt(0);
   bt.print(*_dout);