internal static void SkipHeader(AbstractBufferedReader reader) { FileCollectionWithFileInfos.SkipHeader(reader); reader.SkipUInt8(); // type of file reader.SkipVInt64(); // generation reader.SkipVInt32(); // previous file id }
internal static void SkipHeader(AbstractBufferedReader reader) { reader.SkipBlock(FileCollectionWithFileInfos.MagicStartOfFile.Length + 1); // magic + type of file reader.SkipVInt64(); // generation reader.SkipVInt32(); // previous file id }