don't overwrite io_manager_pipe if it is already set

Part of the fix for #3171

don't overwrite io_manager_pipe if it is already set
Part of the fix for #3171
e06849a1 · Simon Marlow · 4d926e46 · e06849a1
Commit e06849a1 authored Apr 23, 2009 by Simon Marlow
Hide whitespace changes
Inline Side-by-side

Showing with 3 additions and 1 deletion

rts/posix/Signals.c rts/posix/Signals.c +3 -1

No files found.
--- 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)