# HG changeset patch
# User Matt Mackall <mpm@selenic.com>
# Date 1178048574 18000
# Node ID 47ef2d228375f6873f42967feff2dea7407441f9
# Parent  a6436e9333db5df324daf3acb645d3f9d6af4c7e
verify: hold write lock

Verify will report spurious errors if commits or pulls happen during verify.

diff -r a6436e9333db -r 47ef2d228375 mercurial/verify.py
--- a/mercurial/verify.py	Mon Apr 30 09:32:44 2007 -0700
+++ b/mercurial/verify.py	Tue May 01 14:42:54 2007 -0500
@@ -17,6 +17,8 @@
     warnings = [0]
     neededmanifests = {}
 
+    lock = repo.lock()
+
     def err(msg):
         repo.ui.warn(msg + "\n")
         errors[0] += 1