# 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 --git a/mercurial/verify.py b/mercurial/verify.py
--- a/mercurial/verify.py
+++ b/mercurial/verify.py
@@ -17,6 +17,8 @@ def verify(repo):
     warnings = [0]
     neededmanifests = {}
 
+    lock = repo.lock()
+
     def err(msg):
         repo.ui.warn(msg + "\n")
         errors[0] += 1