# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 1056240284 0
# Node ID 745eaece4a110a46845221b7da0b2c1c9e6737df
# Parent  758b45c476506ab2a731fe92b99250292189cd29
(wait_reading_process_input): Don't signal SIGIO in batch mode.

diff -r 758b45c47650 -r 745eaece4a11 src/process.c
--- a/src/process.c	Sun Jun 22 00:04:10 2003 +0000
+++ b/src/process.c	Sun Jun 22 00:04:44 2003 +0000
@@ -4163,7 +4163,7 @@
 	 but select says there is input.  */
 
       if (XINT (read_kbd) && interrupt_input
-	  && keyboard_bit_set (&Available))
+	  && keyboard_bit_set (&Available) && ! noninteractive)
 	kill (getpid (), SIGIO);
 #endif