[NTG-pdftex] unbuffered vs. buffered terminal output

Martin Schröder martin at oneiros.de
Fri Dec 23 14:33:47 CET 2005

On 2005-12-23 00:21:10 +0100, Hartmut Henkel wrote:
> this can be handled by a reasonable timeout, using function select().

If it ain't broken, don't fix it. Keep it simple, stupid. :-)

Both apply here -- if you need speed, use \batchmode.


More information about the ntg-pdftex mailing list