changeset 6345:1829e8e32ddc HEAD

Don't bother complaining about changed log offsets if file also changed.
author Timo Sirainen <tss@iki.fi>
date Sun, 02 Sep 2007 03:13:19 +0300
parents e45ba2950722
children 5dcd55d1a47f
files src/lib-index/mail-index-fsck.c
diffstat 1 files changed, 5 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- a/src/lib-index/mail-index-fsck.c	Sun Sep 02 03:07:22 2007 +0300
+++ b/src/lib-index/mail-index-fsck.c	Sun Sep 02 03:13:19 2007 +0300
@@ -118,8 +118,11 @@
 		hdr.first_recent_uid = 1;
 
         CHECK(log_file_seq, !=);
-        CHECK(log_file_head_offset, !=);
-        CHECK(log_file_tail_offset, !=);
+	if (hdr.log_file_seq == map->hdr.log_file_seq) {
+		/* don't bother complaining about these if file changed too */
+		CHECK(log_file_head_offset, !=);
+		CHECK(log_file_tail_offset, !=);
+	}
 
 	CHECK(uid_validity, !=);
         CHECK(messages_count, !=);