Bug in BufferedReader.ready()

Artur Biesiadowski abies at pg.gda.pl
Thu Dec 3 03:52:53 PST 1998


is:
	if ( size > 0 || rd.ready() )
should be:
	if ( size > pos || rd.ready() )
(or size > pos +1 ?)

Artur


More information about the kaffe mailing list