verify: hold write lock
Verify will report spurious errors if commits or pulls happen during verify.
--- 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