equal
deleted
inserted
replaced
20 revlog, |
20 revlog, |
21 util, |
21 util, |
22 ) |
22 ) |
23 |
23 |
24 def verify(repo): |
24 def verify(repo): |
25 lock = repo.lock() |
25 with repo.lock(): |
26 try: |
|
27 return verifier(repo).verify() |
26 return verifier(repo).verify() |
28 finally: |
|
29 lock.release() |
|
30 |
27 |
31 def _normpath(f): |
28 def _normpath(f): |
32 # under hg < 2.4, convert didn't sanitize paths properly, so a |
29 # under hg < 2.4, convert didn't sanitize paths properly, so a |
33 # converted repo may contain repeated slashes |
30 # converted repo may contain repeated slashes |
34 while '//' in f: |
31 while '//' in f: |