23 Dec
2005
23 Dec
'05
2:33 p.m.
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. Best Martin -- http://www.tm.oneiros.de