[project @ 2002-03-12 13:57:11 by simonmar]
authorsimonmar <unknown>
Tue, 12 Mar 2002 13:57:14 +0000 (13:57 +0000)
committersimonmar <unknown>
Tue, 12 Mar 2002 13:57:14 +0000 (13:57 +0000)
commit5eedab2c787043421b8b86e8f8f26c7404340229
treecb8c68d6f9c4b2e46216dc4dc4e217fd257bb360
parentf762be1b5a12b215595acdfb0343a6161e1a0e86
[project @ 2002-03-12 13:57:11 by simonmar]
If we are in a deadlock situation but there are signal handlers
installed, pause() instead of reporting deadlock.  One of the signal
handlers may allow the process to continue after being triggered.

Fixes bug #525772.

I've made a half-hearted attempt to clean up the deadlock code in the
scheduler, it now looks slightly better.
ghc/rts/Schedule.c
ghc/rts/Schedule.h
ghc/rts/Signals.c
ghc/rts/Signals.h