--- src/GZip/GzipInputStream.cs Sat Jan 15 21:57:38 2005 +++ src-new/GZip\GzipInputStream.cs Thu May 26 11:22:44 2005 @@ -224,18 +224,6 @@ /* 7. Read extra field */ if ((flags & GZipConstants.FEXTRA) != 0) { - /* Skip subfield id */ - for (int i=0; i< 2; i++) { - int readByte = baseInputStream.ReadByte(); - if (readByte < 0) { - throw new GZipException("Early EOF baseInputStream GZIP header"); - } - headCRC.Update(readByte); - } - if (baseInputStream.ReadByte() < 0 || baseInputStream.ReadByte() < 0) { - throw new GZipException("Early EOF baseInputStream GZIP header"); - } - int len1, len2, extraLen; len1 = baseInputStream.ReadByte(); len2 = baseInputStream.ReadByte();