(wait_reading_process_input): If a pty gives EIO,

raise SIGCHLD just in case.

1 files changed, 6 insertions, 2 deletions

diff --git a/src/process.c b/src/process.c
index 2ca75250706..0e5ae9e3fe2 100644
--- a/src/process.c
+++ b/src/process.c
@@ -2676,9 +2676,13 @@ wait_reading_process_input (time_limit, microsecs, read_kbd, do_display)
 		 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.  */