[BUG] InputStream.readNBytes doesn't correctly check for EOF

[Philippe Marschall]

On 20.12.20 18:47, Rob Spoor wrote:
> ...
>
> That "> 0" is incorrect here; it's allowed to return 0 before EOF

I don't think the method is allowed to return 0 before EOF. To quote
from the method Javadoc.

 > This method blocks until input data is available, end of file is
detected, or an exception is thrown.

 > If no byte is available because the stream is at end of file, the
value {@code -1} is returned; otherwise, at least one byte is read and
stored into {@code b}.

Cheers
Philippe