ok,
that is useful to know. i guess the docs for Stdio.File()->peek() should be fixed then, because they say:
Returns 1 if there is data available to read
maybe something like:
Returns 1 if read() can be called without blocking
greetings, martin.