void ICloseEx.CloseEx(CloseExState closeState) {
ICloseEx icloseEx = BaseStream as ICloseEx;
if (icloseEx != null) {
// since the internal Close() of GZipStream just does Close on our base stream
// we don't have to call it anymore at this point
icloseEx.CloseEx(closeState);
}
else {
Close();
}
}