bug#141: Process sentinel not called in batch mode

[Stefan Monnier]

>>>> 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 status_notify has a side effect of triggering redisplay.
>> 
>> Thanks.  Now it makes a lot more sense.  Please add a corresponding
>> comment on the do_display check.

> What do you think should be the fix for the original problem?

The one you proposed seems right,


        Stefan