(wait_reading_process_input): When exiting because
authorRichard M. Stallman <rms@gnu.org>
Mon, 16 Jun 1997 06:24:22 +0000 (06:24 +0000)
committerRichard M. Stallman <rms@gnu.org>
Mon, 16 Jun 1997 06:24:22 +0000 (06:24 +0000)
commit7ce63188c972f4bd803bbb75c3e85f909a292ea0
tree27d0326194a77a12243bd286845a8d5b9b6406c1
parent78943c8ae6da85e0a234b13745676aa5cace0993
(wait_reading_process_input): When exiting because
the process WAIT_PROC has terminated, first read all its output.
src/process.c