mirror of
https://github.com/openjdk/jdk.git
synced 2026-06-10 04:25:35 +00:00
adjust the implNote
This commit is contained in:
parent
92bbd1d820
commit
5d662c7396
@ -63,10 +63,12 @@ import java.util.Objects;
|
||||
* {@link InputStream#available()} on the underlying stream to determine whether additional
|
||||
* bytes are available that may represent a subsequent member. If the
|
||||
* {@systemProperty jdk.util.gzip.tryReadAheadAfterTrailer} system property is set
|
||||
* to {@code true}, then the call to {@code InputStream.available()} is skipped and a read
|
||||
* is performed on the underlying stream for a subsequent member. By default,
|
||||
* the {@code jdk.util.gzip.tryReadAheadAfterTrailer} system property is not set, and
|
||||
* {@code InputStream.available()} gets called.
|
||||
* to {@code true}, then the call to {@code InputStream.available()} is skipped and the
|
||||
* implementation instead attempts to read a subsequent member in the stream. The return value from
|
||||
* {@code InputStream.available()} may not always be accurate, so it may be necessary to set this
|
||||
* property in environments that process streams with a series of members. By default,
|
||||
* the {@code jdk.util.gzip.tryReadAheadAfterTrailer} system property is not set,
|
||||
* and {@code InputStream.available()} gets called.
|
||||
*
|
||||
* @spec https://www.rfc-editor.org/info/rfc1952
|
||||
* RFC 1952: GZIP file format specification version 4.3
|
||||
|
||||
Loading…
x
Reference in New Issue
Block a user