-
Simon Marlow authored
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.
5eedab2c