# HG changeset patch # User Chong Yidong # Date 1233239692 0 # Node ID 315aa5c3b682b496e45f9b05b9a22bbb6e465870 # Parent bd66da73ef9f6591163ebb536cef608293da597c (XTread_socket): Update pending_signals. diff -r bd66da73ef9f -r 315aa5c3b682 src/xterm.c --- a/src/xterm.c Thu Jan 29 14:34:38 2009 +0000 +++ b/src/xterm.c Thu Jan 29 14:34:52 2009 +0000 @@ -7138,10 +7138,12 @@ if (interrupt_input_blocked) { interrupt_input_pending = 1; + pending_signals = 1; return -1; } interrupt_input_pending = 0; + pending_signals = pending_atimers; BLOCK_INPUT; /* So people can tell when we have read the available input. */