[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Merging BufferedInputStream with libgcj
From: |
Tom Tromey |
Subject: |
Re: Merging BufferedInputStream with libgcj |
Date: |
07 Oct 2001 17:44:35 -0600 |
>>>>> "Mark" == Mark Wielaard <address@hidden> writes:
Mark> I think that is not necessary because my feeling is that
Mark> normally one does not set a mark much larger then the buffer
Mark> size given to BufferedInputStream and when someone does set such
Mark> a large mark then it is likely that the same large limit is used
Mark> again later.
I think this is fine. If it turns out to be a problem we can always
change it later. Anybody really interested could also see what the
JDK does.
Tom