# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 866442262 0
# Node ID 29c37882ee1f2cec25a8d84c0dc755bdd519aa97
# Parent  fd7bd1ad0763b15696bf0e5cd8450c4a5855844c
(wait_reading_process_input): When exiting because
the process WAIT_PROC has terminated, first read all its output.

diff -r fd7bd1ad0763 -r 29c37882ee1f src/process.c
--- a/src/process.c	Sun Jun 15 23:05:19 1997 +0000
+++ b/src/process.c	Mon Jun 16 06:24:22 1997 +0000
@@ -2305,7 +2305,17 @@
       if (wait_proc != 0
 	  && ! EQ (wait_proc->status, Qrun))
 	{
+	  int nread, total_nread;
+
 	  clear_waiting_for_input ();
+	  XSETPROCESS (proc, wait_proc);
+
+	  /* Read data from the process, until we exhaust it.  */
+	  while (nread = read_process_output (proc, XINT (wait_proc->infd)))
+	    total_nread += nread;
+	  if (total_nread > 0 && do_display)
+	    redisplay_preserve_echo_area ();
+
 	  break;
 	}