On Mon, Dec 14, 2015 at 12:39 PM, Johannes Sixt [off-list ref] wrote:
I can't quite parse the first sentence in this paragraph. Perhaps something
like this:
To detect when a child has finished executing, we check interleaved
with other actions (such as checking the liveliness of children or
starting new processes) whether the stderr pipe still exists. Once a
child closed its stderr stream, we assume it is terminating very soon,
and use finish_command() from the single external process execution
interface to collect the exit status.
Sounds much better than my words. If a resend is necessary, I'll have your
reworded version of the paragraph instead.
quoted
By maintaining the strong assumption of stderr being open until the
very end of a child process, we can avoid other hassle such as an
implementation using `waitpid(-1)`, which is not implemented in Windows.
Signed-off-by: Stefan Beller <redacted>