public void Reset() { this.gzipHeaderSubstate = GZIPHeaderState.ReadingID1; this.gzipFooterSubstate = GZIPHeaderState.ReadingCRC; this.gzipCrc32 = 0; this.gzipOutputStreamSize = 0; }
public void Reset() { if (using_gzip) { gZipDecoder.Reset(); state = InflaterState.ReadingGZIPHeader; // start by reading GZip Header info streamSize = 0; crc32 = 0; } else { state = InflaterState.ReadingBFinal; // start by reading BFinal bit } }