# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 903160380 0
# Node ID 8d68b82a4d8c2d915d3885e83d910d2b1e2ed0b9
# Parent  c458948948a92f38d93118153b61b30225d87e57
(wait_reading_process_input): If a pty gives EIO,
raise SIGCHLD just in case.

diff -r c458948948a9 -r 8d68b82a4d8c src/process.c
--- a/src/process.c	Sat Aug 15 05:49:39 1998 +0000
+++ b/src/process.c	Sat Aug 15 05:53:00 1998 +0000
@@ -2676,9 +2676,13 @@
 		 Therefore, if we get an error reading and errno =
 		 EIO, just continue, because the child process has
 		 exited and should clean itself up soon (e.g. when we
-		 get a SIGCHLD). */
+		 get a SIGCHLD).
+
+		 However, it has been known to happen that the SIGCHLD
+		 got lost.  So raise the signl again just in case.
+		 It can't hurt.  */
 	      else if (nread == -1 && errno == EIO)
-		;
+		kill (getpid (), SIGCHLD);
 #endif				/* HAVE_PTYS */
 	      /* If we can detect process termination, don't consider the process
 		 gone just because its pipe is closed.  */