BufferedOutputStream.write() premature buffer flush patch

Tom Tromey tromey@redhat.com
Thu Feb 13 22:32:00 GMT 2003


>>>>> "Mark" == Mark Wielaard <mark@klomp.org> writes:

Mark> 2003-02-13  Mark Wielaard  <mark@klomp.org>
Mark>         * java/io/BufferedOutputStream.java (write(int)): Only flush when
Mark>         next byte cannot be buffered.
Mark> OK for mainline and branch?

Yes, thanks.

Tom



More information about the Java-patches mailing list