InflaterInputStream.java (read): Throw ZipException if inflater throws a DataFormatException.

	* java/util/zip/InflaterInputStream.java (read): Throw
	ZipException if inflater throws a DataFormatException.

From-SVN: r27719

libjava/ChangeLog

+1999-06-23  Tom Tromey  <tromey@cygnus.com>
+
+	* java/util/zip/InflaterInputStream.java (read): Throw
+	ZipException if inflater throws a DataFormatException.
+
 1999-06-23  Warren Levy  <warrenl@cygnus.com>
 
 	* java/net/DatagramSocketImpl.java (localPort): Fixed typo to match JDK.

libjava/java/util/zip/InflaterInputStream.java

@@ -67,7 +67,14 @@ public class InflaterInputStream extends FilterInputStream
       fill ();
     if (inf.needsDictionary())
       return -1;
-    return inf.inflate(buf, off, len);
+    try
+      {
+	return inf.inflate(buf, off, len);
+      }
+    catch (DataFormatException dfe)
+      {
+	throw new ZipException (dfe.getMessage());
+      }
   }
 
   public long skip (long n) throws IOException