From 145632625651deb4a6f8758e838cfbefc32c9096 Mon Sep 17 00:00:00 2001
From: Simon Marlow <marlowsd@gmail.com>
Date: Wed, 14 May 2014 21:10:06 +0100
Subject: Only uninstall signal handlers if they were actually installed
 (#9068)

Submitted by: tomgr

(cherry picked from commit bc7d49a658a516679cc264502e72560c1d2c2314)
---
 rts/RtsStartup.c | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

diff --git a/rts/RtsStartup.c b/rts/RtsStartup.c
index aa7306f88a..15e48a690d 100644
--- a/rts/RtsStartup.c
+++ b/rts/RtsStartup.c
@@ -355,8 +355,12 @@ hs_exit_(rtsBool wait_foreign)
     resetTerminalSettings();
 #endif
 
-    // uninstall signal handlers
-    resetDefaultHandlers();
+#if defined(RTS_USER_SIGNALS)
+    if (RtsFlags.MiscFlags.install_signal_handlers) {
+        // uninstall signal handlers
+        resetDefaultHandlers();
+    }
+#endif
 
     /* stop timing the shutdown, we're about to print stats */
     stat_endExit();
-- 
cgit v1.2.1