re PR libgcj/27271 (i/o error (java.util.zip.ZipException: Deflated stream ends early.))
authorTom Tromey <tromey@redhat.com>
Wed, 12 Jul 2006 17:00:49 +0000 (17:00 +0000)
committerTom Tromey <tromey@gcc.gnu.org>
Wed, 12 Jul 2006 17:00:49 +0000 (17:00 +0000)
commite9186fbe67cc6de61ac858e3e3ed0259d61635bb
tree52cea91df9c54af730703326dbdbdab4947f5b41
parent93e890688cd5072dde2851845f3d9a469de34751
re PR libgcj/27271 (i/o error (java.util.zip.ZipException: Deflated stream ends early.))

PR libgcj/27271:
* java/util/zip/ZipFile.java (getInputStream): Call addDummyByte
on PartialInputStream.
(PartialInputStream.dummyByteCount): New field.
(PartialInputStream.fillBuffer): Handle dummy byte.
(PartialInputStream.read): Likewise.
(PartialInputStream.addDummyByte): New method.

From-SVN: r115378
libjava/classpath/ChangeLog.gcj
libjava/classpath/java/util/zip/ZipFile.java