don't overwrite io_manager_pipe if it is already set
authorSimon Marlow <marlowsd@gmail.com>
Thu, 23 Apr 2009 11:29:39 +0000 (11:29 +0000)
committerSimon Marlow <marlowsd@gmail.com>
Thu, 23 Apr 2009 11:29:39 +0000 (11:29 +0000)
commite06849a10aedcd41edd5b32d6f7a0c1d133f0500
tree2635dbd868e52d3a04f85bc47e1ee23ce85932bf
parent4d926e46bacf11ba9d7714c3f36f507c67fef0ba
don't overwrite io_manager_pipe if it is already set
Part of the fix for #3171
rts/posix/Signals.c