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