From 706ce325d3c4b25dba0878bf78761e6e092b1b9f Mon Sep 17 00:00:00 2001
From: Erik Hofman <erik@ehofman.com>
Date: Mon, 27 Feb 2017 11:50:51 +0100
Subject: [PATCH] Do not forget to signal the proper signal number first

---
 src/Main/bootstrap.cxx | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/Main/bootstrap.cxx b/src/Main/bootstrap.cxx
index d21a5fefc..773705a95 100644
--- a/src/Main/bootstrap.cxx
+++ b/src/Main/bootstrap.cxx
@@ -183,6 +183,7 @@ void segfault_handler(int signo) {
     free(list);
   }
 
+  signal(signo, SIG_DFL);
   kill(getpid(), signo);
 }
 #endif