# HG changeset patch
# User Timo Sirainen <tss@iki.fi>
# Date 1188691999 -10800
# Node ID 1829e8e32ddc0087600d7c63b86651c483884559
# Parent  e45ba2950722c6787e1c1ebc9ea2b8726fd86c9e
Don't bother complaining about changed log offsets if file also changed.

diff -r e45ba2950722 -r 1829e8e32ddc src/lib-index/mail-index-fsck.c
--- 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, !=);