Re: run-and-check: close stdin (issue 545620043 by address@hidden)

[dak]

On 2020/02/22 22:08:33, hanwenn wrote:
> On 2020/02/22 22:01:10, lemzwerg wrote:
> > Never seen such code before, but if it fixes an issue... :-)
> 
> it's a cut and paste from the internet,
>
https://blog.apokalyptik.com/2007/10/24/bash-tip-closing-file-descriptors/
> 
> I'm surprised that make passes on the console stdin to child
processes, but it
> does appear to happen.

The default for _any_ program is to pass all open file descriptors it
receives, most certainly the standard file descriptors, on to children. 
The proper fix here of course is not to close stdin but rather to run
pdflatex with -interaction batchmode (where it prints nothing on output
during the run, so you need to consult the log file in case of problems)
or with -interaction nonstopmode where it never stops for input.

https://codereview.appspot.com/545620043/