mercurial/verify.py
changeset 4395 47ef2d228375
parent 4258 b11a2fb59cf5
child 4635 63b9d2deed48
--- 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