[project @ 2003-01-10 22:08:20 by wolfgang]
authorwolfgang <unknown>
Fri, 10 Jan 2003 22:08:20 +0000 (22:08 +0000)
committerwolfgang <unknown>
Fri, 10 Jan 2003 22:08:20 +0000 (22:08 +0000)
commite65d8f387cccbcfd60a4a820024f8d8286f97ac2
treedb453c31660dbd2dc96e90432ef5c5b3ee43151b
parentc3fb6ff19bae7b0f0f0368244ca1a386b7f57ca6
[project @ 2003-01-10 22:08:20 by wolfgang]
blockUserSignal() should use SIG_BLOCK instead of SIG_SETMASK, otherwise it
would also sometimes unblock signals that should be blocked.

MERGE TO STABLE
ghc/rts/Signals.c