bug#141: Process sentinel not called in batch mode

[David Kastrup]

Stefan Monnier <monnier@iro.umontreal.ca> writes:

> But if we're in wait_reading_process_output, that means that idle or
> not, we're checking for process output, so why not check for process
> status changes as well?

Because we want to have all process output processed before registering
that the process has finished?

-- 
David Kastrup, Kriemhildstr. 15, 44793 Bochum