diff options
Diffstat (limited to 'src/keyboard.c')
| -rw-r--r-- | src/keyboard.c | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/keyboard.c b/src/keyboard.c index 05efe7c1312..4bfe47f3332 100644 --- a/src/keyboard.c +++ b/src/keyboard.c | |||
| @@ -7090,7 +7090,8 @@ process_pending_signals (void) | |||
| 7090 | } | 7090 | } |
| 7091 | 7091 | ||
| 7092 | /* Undo any number of BLOCK_INPUT calls down to level LEVEL, | 7092 | /* Undo any number of BLOCK_INPUT calls down to level LEVEL, |
| 7093 | and also (if the level is now 0) reinvoke any pending signal. */ | 7093 | and reinvoke any pending signal if the level is now 0 and |
| 7094 | a fatal error is not already in progress. */ | ||
| 7094 | 7095 | ||
| 7095 | void | 7096 | void |
| 7096 | unblock_input_to (int level) | 7097 | unblock_input_to (int level) |
| @@ -7098,7 +7099,7 @@ unblock_input_to (int level) | |||
| 7098 | interrupt_input_blocked = level; | 7099 | interrupt_input_blocked = level; |
| 7099 | if (level == 0) | 7100 | if (level == 0) |
| 7100 | { | 7101 | { |
| 7101 | if (pending_signals) | 7102 | if (pending_signals && !fatal_error_in_progress) |
| 7102 | process_pending_signals (); | 7103 | process_pending_signals (); |
| 7103 | } | 7104 | } |
| 7104 | else if (level < 0) | 7105 | else if (level < 0) |