diff options
Diffstat (limited to 'rts/posix/Signals.c')
| -rw-r--r-- | rts/posix/Signals.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/rts/posix/Signals.c b/rts/posix/Signals.c index 0d252d56b2..1d96fcfdf5 100644 --- a/rts/posix/Signals.c +++ b/rts/posix/Signals.c @@ -350,7 +350,7 @@ anyUserHandlers(void) void awaitUserSignals(void) { - while (!signals_pending() && sched_state == SCHED_RUNNING) { + while (!signals_pending() && getSchedState() == SCHED_RUNNING) { pause(); } } @@ -521,7 +521,7 @@ shutdown_handler(int sig STG_UNUSED) // If we're already trying to interrupt the RTS, terminate with // extreme prejudice. So the first ^C tries to exit the program // cleanly, and the second one just kills it. - if (sched_state >= SCHED_INTERRUPTING) { + if (getSchedState() >= SCHED_INTERRUPTING) { stg_exit(EXIT_INTERRUPTED); } else { interruptStgRts(); |