From: Simon Marlow <marlowsd@gmail.com>
Date: Thu, 23 Apr 2009 11:29:39 +0000 (+0000)
Subject: don't overwrite io_manager_pipe if it is already set
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=e06849a10aedcd41edd5b32d6f7a0c1d133f0500;p=ghc-hetmet.git

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
--- 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)