(wait_reading_process_input): When exiting because

the process WAIT_PROC has terminated, first read all its output.

1 files changed, 10 insertions, 0 deletions

diff --git a/src/process.c b/src/process.c
index a9da5b1f725..bebfba77843 100644
--- a/src/process.c
+++ b/src/process.c
@@ -2305,7 +2305,17 @@ wait_reading_process_input (time_limit, microsecs, read_kbd, do_display)
       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;
 	}