don't overwrite io_manager_pipe if it is already set

Part of the fix for #3171

diff --git a/rts/posix/Signals.c b/rts/posix/Signals.c
index c1ffb5d..ace58c2 100644 (file)
--- a/rts/posix/Signals.c
+++ b/rts/posix/Signals.c
@@ -95,7 +95,9 @@ setIOManagerPipe (int fd)
 {
     // only called when THREADED_RTS, but unconditionally
     // compiled here because GHC.Conc depends on it.
-    io_manager_pipe = fd;
+    if (io_manager_pipe < 0) {
+        io_manager_pipe = fd;
+    }
 }
 
 #if defined(THREADED_RTS)