/// <summary> /// Read from the archive stream. /// </summary> /// <param name="archiveStream">The archive stream.</param> private void Read(Stream archiveStream) { // Original IronPython source noted a to-do for seekable streams, // to seek to the end of the stream, and use the archive directory // there to avoid reading most of the file. for (;;) { ZipArchiveFile entry = ZipArchiveFile.Read(this); if (entry == null) { break; } } }