Please hold off on this. This patch doesn't solve the fundamental
problem I've raised, and submitting a patch before we've finished
discussing the desired behavior is premature.
Bill
P.S. One problem with the patch is that skip can still return a short
skip in situations other than being at end of file.
On Jul 8, 2007, at 5:59 AM, Pascal S. de Kloe wrote:
On Sunday 08 July 2007 14:00:18 Pascal S. de Kloe wrote:
The patch seems to solve both bugs while doing the right thing.
It hasn't been tested well though and the last thing I want is new
bugs. Does anybody have or know a application which utilises the
BufferedInputReader with marks?
If it works I'll finish it. The read(byte[]) method doesn't work
correct anymore now that read(byte[],int,int) has been fixed.
Fixed a little mistake. Fixes 6192696 now
too.<BufferedInputStream.patch>
