diff options
Diffstat (limited to 'src/process.c')
| -rw-r--r-- | src/process.c | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/process.c b/src/process.c index 48a2c0c8e53..6b8b483cdf7 100644 --- a/src/process.c +++ b/src/process.c | |||
| @@ -5439,7 +5439,7 @@ wait_reading_process_output (intmax_t time_limit, int nsecs, int read_kbd, | |||
| 5439 | 5439 | ||
| 5440 | /* If there is unread keyboard input, also return. */ | 5440 | /* If there is unread keyboard input, also return. */ |
| 5441 | if (read_kbd != 0 | 5441 | if (read_kbd != 0 |
| 5442 | && requeued_events_pending_p ()) | 5442 | && requeued_command_events_pending_p ()) |
| 5443 | break; | 5443 | break; |
| 5444 | 5444 | ||
| 5445 | /* This is so a breakpoint can be put here. */ | 5445 | /* This is so a breakpoint can be put here. */ |
| @@ -5849,7 +5849,7 @@ wait_reading_process_output (intmax_t time_limit, int nsecs, int read_kbd, | |||
| 5849 | 5849 | ||
| 5850 | /* If there is unread keyboard input, also return. */ | 5850 | /* If there is unread keyboard input, also return. */ |
| 5851 | if (read_kbd != 0 | 5851 | if (read_kbd != 0 |
| 5852 | && requeued_events_pending_p ()) | 5852 | && requeued_command_events_pending_p ()) |
| 5853 | break; | 5853 | break; |
| 5854 | 5854 | ||
| 5855 | /* If we are not checking for keyboard input now, | 5855 | /* If we are not checking for keyboard input now, |
| @@ -8036,7 +8036,7 @@ wait_reading_process_output (intmax_t time_limit, int nsecs, int read_kbd, | |||
| 8036 | 8036 | ||
| 8037 | /* If there is unread keyboard input, also return. */ | 8037 | /* If there is unread keyboard input, also return. */ |
| 8038 | if (read_kbd != 0 | 8038 | if (read_kbd != 0 |
| 8039 | && requeued_events_pending_p ()) | 8039 | && requeued_command_events_pending_p ()) |
| 8040 | break; | 8040 | break; |
| 8041 | 8041 | ||
| 8042 | if (timespec_valid_p (timer_delay)) | 8042 | if (timespec_valid_p (timer_delay)) |
| @@ -8109,7 +8109,7 @@ wait_reading_process_output (intmax_t time_limit, int nsecs, int read_kbd, | |||
| 8109 | 8109 | ||
| 8110 | /* If there is unread keyboard input, also return. */ | 8110 | /* If there is unread keyboard input, also return. */ |
| 8111 | if (read_kbd | 8111 | if (read_kbd |
| 8112 | && requeued_events_pending_p ()) | 8112 | && requeued_command_events_pending_p ()) |
| 8113 | break; | 8113 | break; |
| 8114 | 8114 | ||
| 8115 | /* If wait_for_cell. check for keyboard input | 8115 | /* If wait_for_cell. check for keyboard input |