[project @ 2005-04-07 14:33:30 by simonmar]
authorsimonmar <unknown>
Thu, 7 Apr 2005 14:33:32 +0000 (14:33 +0000)
committersimonmar <unknown>
Thu, 7 Apr 2005 14:33:32 +0000 (14:33 +0000)
commit5a148f04e9deedc21d06d1aaf869542624858af4
treef67645860d1e3e05958baa16e6f95d80db18851f
parent747ad2d18248a85a8acf6da2dca82361326a2f7e
[project @ 2005-04-07 14:33:30 by simonmar]
Support handling signals in the threaded RTS by passing the signal
number down the pipe to the IO manager.  This avoids needing
synchronisation in the signal handler.

Signals should now work with -threaded.  Since this is a bugfix, I'll
merge the changes into the 6.4 branch.
ghc/includes/RtsExternal.h
ghc/rts/Capability.c
ghc/rts/Schedule.c
ghc/rts/Select.c
ghc/rts/Signals.c
ghc/rts/Signals.h