From e06849a10aedcd41edd5b32d6f7a0c1d133f0500 Mon Sep 17 00:00:00 2001 From: Simon Marlow Date: Thu, 23 Apr 2009 11:29:39 +0000 Subject: [PATCH] don't overwrite io_manager_pipe if it is already set Part of the fix for #3171 --- rts/posix/Signals.c | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) 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) -- 1.7.10.4