make sure we disable disabling interrupts on error handler.
This commit is contained in:
parent
4f71103b88
commit
3c57286531
@ -1776,6 +1776,7 @@ Yap_Error(yap_error_number type, Term where, char *format,...)
|
|||||||
LOCK(SignalLock);
|
LOCK(SignalLock);
|
||||||
/* we might be in the middle of a critical region */
|
/* we might be in the middle of a critical region */
|
||||||
if (Yap_InterruptsDisabled) {
|
if (Yap_InterruptsDisabled) {
|
||||||
|
Yap_InterruptsDisabled = 0;
|
||||||
UncaughtThrow = TRUE;
|
UncaughtThrow = TRUE;
|
||||||
UNLOCK(SignalLock);
|
UNLOCK(SignalLock);
|
||||||
#if PUSH_REGS
|
#if PUSH_REGS
|
||||||
|
Reference in New Issue
Block a user