equal
deleted
inserted
replaced
8 from node import * |
8 from node import * |
9 from i18n import _ |
9 from i18n import _ |
10 import revlog, mdiff |
10 import revlog, mdiff |
11 |
11 |
12 def verify(repo): |
12 def verify(repo): |
|
13 lock = repo.lock() |
|
14 try: |
|
15 return _verify(repo) |
|
16 finally: |
|
17 del lock |
|
18 |
|
19 def _verify(repo): |
13 filelinkrevs = {} |
20 filelinkrevs = {} |
14 filenodes = {} |
21 filenodes = {} |
15 changesets = revisions = files = 0 |
22 changesets = revisions = files = 0 |
16 errors = [0] |
23 errors = [0] |
17 warnings = [0] |
24 warnings = [0] |
18 neededmanifests = {} |
25 neededmanifests = {} |
19 |
|
20 lock = repo.lock() |
|
21 |
26 |
22 def err(msg): |
27 def err(msg): |
23 repo.ui.warn(msg + "\n") |
28 repo.ui.warn(msg + "\n") |
24 errors[0] += 1 |
29 errors[0] += 1 |
25 |
30 |