mercurial-scm/hg: mercurial/verify.py annotate

annotate mercurial/verify.py @ 27443:937e73a6e4ff

verify: move verify logic into a class In order to allow extensions to hook into the verification logic more easily, we need to refactor it into multiple functions. The first step is to move it to a class so the shared state can be more easily accessed.

author	Durham Goode <durham@fb.com>
date	Fri, 18 Dec 2015 16:42:39 -0800
parents	d1c741644d25
children	6647401858ab

rev	line source
2778 fdc232d8a193 Move repo.verify Matt Mackall <mpm@selenic.com> parents: diff changeset	1 # verify.py - repository integrity checking for Mercurial
fdc232d8a193 Move repo.verify Matt Mackall <mpm@selenic.com> parents: diff changeset	2 #
4635 63b9d2deed48 Updated copyright notices and add "and others" to "hg version" Thomas Arendsen Hein <thomas@intevation.de> parents: 4395 diff changeset	3 # Copyright 2006, 2007 Matt Mackall <mpm@selenic.com>
2778 fdc232d8a193 Move repo.verify Matt Mackall <mpm@selenic.com> parents: diff changeset	4 #
8225 46293a0c7e9f updated license to be explicit about GPL version 2 Martin Geisler <mg@lazybytes.net> parents: 8209 diff changeset	5 # This software may be used and distributed according to the terms of the
10263 25e572394f5c Update license to GPLv2+ Matt Mackall <mpm@selenic.com> parents: 9690 diff changeset	6 # GNU General Public License version 2 or any later version.
2778 fdc232d8a193 Move repo.verify Matt Mackall <mpm@selenic.com> parents: diff changeset	7
25991 d21d1774c73b verify: use absolute_import Gregory Szorc <gregory.szorc@gmail.com> parents: 25846 diff changeset	8 from __future__ import absolute_import
d21d1774c73b verify: use absolute_import Gregory Szorc <gregory.szorc@gmail.com> parents: 25846 diff changeset	9
17860 a45b33f12627 verify: fix all doubled-slash sites (issue3665) Bryan O'Sullivan <bryano@fb.com> parents: 17851 diff changeset	10 import os
25991 d21d1774c73b verify: use absolute_import Gregory Szorc <gregory.szorc@gmail.com> parents: 25846 diff changeset	11
d21d1774c73b verify: use absolute_import Gregory Szorc <gregory.szorc@gmail.com> parents: 25846 diff changeset	12 from .i18n import _
d21d1774c73b verify: use absolute_import Gregory Szorc <gregory.szorc@gmail.com> parents: 25846 diff changeset	13 from .node import (
d21d1774c73b verify: use absolute_import Gregory Szorc <gregory.szorc@gmail.com> parents: 25846 diff changeset	14 nullid,
d21d1774c73b verify: use absolute_import Gregory Szorc <gregory.szorc@gmail.com> parents: 25846 diff changeset	15 short,
d21d1774c73b verify: use absolute_import Gregory Szorc <gregory.szorc@gmail.com> parents: 25846 diff changeset	16 )
d21d1774c73b verify: use absolute_import Gregory Szorc <gregory.szorc@gmail.com> parents: 25846 diff changeset	17
d21d1774c73b verify: use absolute_import Gregory Szorc <gregory.szorc@gmail.com> parents: 25846 diff changeset	18 from . import (
d21d1774c73b verify: use absolute_import Gregory Szorc <gregory.szorc@gmail.com> parents: 25846 diff changeset	19 error,
d21d1774c73b verify: use absolute_import Gregory Szorc <gregory.szorc@gmail.com> parents: 25846 diff changeset	20 revlog,
d21d1774c73b verify: use absolute_import Gregory Szorc <gregory.szorc@gmail.com> parents: 25846 diff changeset	21 util,
d21d1774c73b verify: use absolute_import Gregory Szorc <gregory.szorc@gmail.com> parents: 25846 diff changeset	22 )
2778 fdc232d8a193 Move repo.verify Matt Mackall <mpm@selenic.com> parents: diff changeset	23
fdc232d8a193 Move repo.verify Matt Mackall <mpm@selenic.com> parents: diff changeset	24 def verify(repo):
4915 97b734fb9c6f Use try/finally pattern to cleanup locks and transactions Matt Mackall <mpm@selenic.com> parents: 4635 diff changeset	25 lock = repo.lock()
97b734fb9c6f Use try/finally pattern to cleanup locks and transactions Matt Mackall <mpm@selenic.com> parents: 4635 diff changeset	26 try:
27443 937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	27 return verifier().verify(repo)
4915 97b734fb9c6f Use try/finally pattern to cleanup locks and transactions Matt Mackall <mpm@selenic.com> parents: 4635 diff changeset	28 finally:
8109 496ae1ea4698 switch lock releasing in the core from gc to explicit Ronny Pfannschmidt <Ronny.Pfannschmidt@gmx.de> parents: 7926 diff changeset	29 lock.release()
4915 97b734fb9c6f Use try/finally pattern to cleanup locks and transactions Matt Mackall <mpm@selenic.com> parents: 4635 diff changeset	30
17860 a45b33f12627 verify: fix all doubled-slash sites (issue3665) Bryan O'Sullivan <bryano@fb.com> parents: 17851 diff changeset	31 def _normpath(f):
a45b33f12627 verify: fix all doubled-slash sites (issue3665) Bryan O'Sullivan <bryano@fb.com> parents: 17851 diff changeset	32 # under hg < 2.4, convert didn't sanitize paths properly, so a
a45b33f12627 verify: fix all doubled-slash sites (issue3665) Bryan O'Sullivan <bryano@fb.com> parents: 17851 diff changeset	33 # converted repo may contain repeated slashes
a45b33f12627 verify: fix all doubled-slash sites (issue3665) Bryan O'Sullivan <bryano@fb.com> parents: 17851 diff changeset	34 while '//' in f:
a45b33f12627 verify: fix all doubled-slash sites (issue3665) Bryan O'Sullivan <bryano@fb.com> parents: 17851 diff changeset	35 f = f.replace('//', '/')
a45b33f12627 verify: fix all doubled-slash sites (issue3665) Bryan O'Sullivan <bryano@fb.com> parents: 17851 diff changeset	36 return f
a45b33f12627 verify: fix all doubled-slash sites (issue3665) Bryan O'Sullivan <bryano@fb.com> parents: 17851 diff changeset	37
26900 d1c741644d25 verify: add a hook that can let extensions manipulate file lists Augie Fackler <augie@google.com> parents: 26587 diff changeset	38 def _validpath(repo, path):
d1c741644d25 verify: add a hook that can let extensions manipulate file lists Augie Fackler <augie@google.com> parents: 26587 diff changeset	39 """Returns False if a path should NOT be treated as part of a repo.
d1c741644d25 verify: add a hook that can let extensions manipulate file lists Augie Fackler <augie@google.com> parents: 26587 diff changeset	40
d1c741644d25 verify: add a hook that can let extensions manipulate file lists Augie Fackler <augie@google.com> parents: 26587 diff changeset	41 For all in-core cases, this returns True, as we have no way for a
d1c741644d25 verify: add a hook that can let extensions manipulate file lists Augie Fackler <augie@google.com> parents: 26587 diff changeset	42 path to be mentioned in the history but not actually be
d1c741644d25 verify: add a hook that can let extensions manipulate file lists Augie Fackler <augie@google.com> parents: 26587 diff changeset	43 relevant. For narrow clones, this is important because many
d1c741644d25 verify: add a hook that can let extensions manipulate file lists Augie Fackler <augie@google.com> parents: 26587 diff changeset	44 filelogs will be missing, and changelog entries may mention
d1c741644d25 verify: add a hook that can let extensions manipulate file lists Augie Fackler <augie@google.com> parents: 26587 diff changeset	45 modified files that are outside the narrow scope.
d1c741644d25 verify: add a hook that can let extensions manipulate file lists Augie Fackler <augie@google.com> parents: 26587 diff changeset	46 """
d1c741644d25 verify: add a hook that can let extensions manipulate file lists Augie Fackler <augie@google.com> parents: 26587 diff changeset	47 return True
d1c741644d25 verify: add a hook that can let extensions manipulate file lists Augie Fackler <augie@google.com> parents: 26587 diff changeset	48
27443 937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	49 class verifier(object):
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	50 def verify(self, repo):
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	51 repo = repo.unfiltered()
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	52 mflinkrevs = {}
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	53 filelinkrevs = {}
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	54 filenodes = {}
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	55 revisions = 0
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	56 badrevs = set()
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	57 errors = [0]
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	58 warnings = [0]
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	59 ui = repo.ui
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	60 cl = repo.changelog
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	61 mf = repo.manifest
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	62 lrugetctx = util.lrucachefunc(repo.changectx)
2778 fdc232d8a193 Move repo.verify Matt Mackall <mpm@selenic.com> parents: diff changeset	63
27443 937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	64 if not repo.url().startswith('file:'):
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	65 raise error.Abort(_("cannot verify bundle or remote repos"))
6752 e79a8f36c2a5 verify: lots of refactoring Matt Mackall <mpm@selenic.com> parents: 6751 diff changeset	66
27443 937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	67 def err(linkrev, msg, filename=None):
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	68 if linkrev is not None:
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	69 badrevs.add(linkrev)
7926 edf2d83a11aa verify, i18n: fix unmarked strings Wagner Bruna <wbruna@yahoo.com> parents: 7874 diff changeset	70 else:
27443 937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	71 linkrev = '?'
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	72 msg = "%s: %s" % (linkrev, msg)
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	73 if filename:
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	74 msg = "%s@%s" % (filename, msg)
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	75 ui.warn(" " + msg + "\n")
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	76 errors[0] += 1
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	77
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	78 def exc(linkrev, msg, inst, filename=None):
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	79 if isinstance(inst, KeyboardInterrupt):
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	80 ui.warn(_("interrupted"))
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	81 raise
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	82 if not str(inst):
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	83 inst = repr(inst)
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	84 err(linkrev, "%s: %s" % (msg, inst), filename)
6752 e79a8f36c2a5 verify: lots of refactoring Matt Mackall <mpm@selenic.com> parents: 6751 diff changeset	85
27443 937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	86 def warn(msg):
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	87 ui.warn(msg + "\n")
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	88 warnings[0] += 1
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	89
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	90 def checklog(obj, name, linkrev):
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	91 if not len(obj) and (havecl or havemf):
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	92 err(linkrev, _("empty or missing %s") % name)
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	93 return
6752 e79a8f36c2a5 verify: lots of refactoring Matt Mackall <mpm@selenic.com> parents: 6751 diff changeset	94
27443 937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	95 d = obj.checksize()
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	96 if d[0]:
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	97 err(None, _("data length off by %d bytes") % d[0], name)
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	98 if d[1]:
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	99 err(None, _("index contains %d extra bytes") % d[1], name)
9690 b33d70849a20 verify: report existence of journal Sune Foldager <cryo@cyanite.org> parents: 9657 diff changeset	100
27443 937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	101 if obj.version != revlog.REVLOGV0:
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	102 if not revlogv1:
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	103 warn(_("warning: `%s' uses revlog format 1") % name)
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	104 elif revlogv1:
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	105 warn(_("warning: `%s' uses revlog format 0") % name)
6752 e79a8f36c2a5 verify: lots of refactoring Matt Mackall <mpm@selenic.com> parents: 6751 diff changeset	106
27443 937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	107 def checkentry(obj, i, node, seen, linkrevs, f):
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	108 lr = obj.linkrev(obj.rev(node))
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	109 if lr < 0 or (havecl and lr not in linkrevs):
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	110 if lr < 0 or lr >= len(cl):
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	111 msg = _("rev %d points to nonexistent changeset %d")
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	112 else:
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	113 msg = _("rev %d points to unexpected changeset %d")
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	114 err(None, msg % (i, lr), f)
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	115 if linkrevs:
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	116 if f and len(linkrevs) > 1:
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	117 try:
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	118 # attempt to filter down to real linkrevs
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	119 linkrevs = [l for l in linkrevs
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	120 if lrugetctx(l)[f].filenode() == node]
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	121 except Exception:
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	122 pass
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	123 warn(_(" (expected %s)") % " ".join(map(str, linkrevs)))
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	124 lr = None # can't be trusted
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	125
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	126 try:
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	127 p1, p2 = obj.parents(node)
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	128 if p1 not in seen and p1 != nullid:
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	129 err(lr, _("unknown parent 1 %s of %s") %
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	130 (short(p1), short(node)), f)
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	131 if p2 not in seen and p2 != nullid:
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	132 err(lr, _("unknown parent 2 %s of %s") %
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	133 (short(p2), short(node)), f)
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	134 except Exception as inst:
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	135 exc(lr, _("checking parents of %s") % short(node), inst, f)
2778 fdc232d8a193 Move repo.verify Matt Mackall <mpm@selenic.com> parents: diff changeset	136
27443 937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	137 if node in seen:
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	138 err(lr, _("duplicate revision %d (%d)") % (i, seen[node]), f)
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	139 seen[node] = i
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	140 return lr
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	141
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	142 if os.path.exists(repo.sjoin("journal")):
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	143 ui.warn(_("abandoned transaction found - run hg recover\n"))
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	144
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	145 revlogv1 = cl.version != revlog.REVLOGV0
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	146 if ui.verbose or not revlogv1:
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	147 ui.status(_("repository uses revlog format %d\n") %
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	148 (revlogv1 and 1 or 0))
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	149
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	150 havecl = len(cl) > 0
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	151 havemf = len(mf) > 0
2778 fdc232d8a193 Move repo.verify Matt Mackall <mpm@selenic.com> parents: diff changeset	152
27443 937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	153 ui.status(_("checking changesets\n"))
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	154 refersmf = False
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	155 seen = {}
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	156 checklog(cl, "changelog", 0)
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	157 total = len(repo)
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	158 for i in repo:
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	159 ui.progress(_('checking'), i, total=total, unit=_('changesets'))
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	160 n = cl.node(i)
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	161 checkentry(cl, i, n, seen, [i], "changelog")
2778 fdc232d8a193 Move repo.verify Matt Mackall <mpm@selenic.com> parents: diff changeset	162
27443 937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	163 try:
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	164 changes = cl.read(n)
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	165 if changes[0] != nullid:
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	166 mflinkrevs.setdefault(changes[0], []).append(i)
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	167 refersmf = True
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	168 for f in changes[3]:
26900 d1c741644d25 verify: add a hook that can let extensions manipulate file lists Augie Fackler <augie@google.com> parents: 26587 diff changeset	169 if _validpath(repo, f):
27443 937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	170 filelinkrevs.setdefault(_normpath(f), []).append(i)
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	171 except Exception as inst:
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	172 refersmf = True
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	173 exc(i, _("unpacking changeset %s") % short(n), inst)
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	174 ui.progress(_('checking'), None)
2778 fdc232d8a193 Move repo.verify Matt Mackall <mpm@selenic.com> parents: diff changeset	175
27443 937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	176 ui.status(_("checking manifests\n"))
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	177 seen = {}
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	178 if refersmf:
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	179 # Do not check manifest if there are only changelog entries with
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	180 # null manifests.
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	181 checklog(mf, "manifest", 0)
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	182 total = len(mf)
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	183 for i in mf:
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	184 ui.progress(_('checking'), i, total=total, unit=_('manifests'))
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	185 n = mf.node(i)
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	186 lr = checkentry(mf, i, n, seen, mflinkrevs.get(n, []), "manifest")
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	187 if n in mflinkrevs:
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	188 del mflinkrevs[n]
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	189 else:
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	190 err(lr, _("%s not in changesets") % short(n), "manifest")
2778 fdc232d8a193 Move repo.verify Matt Mackall <mpm@selenic.com> parents: diff changeset	191
27443 937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	192 try:
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	193 for f, fn in mf.readdelta(n).iteritems():
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	194 if not f:
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	195 err(lr, _("file without name in manifest"))
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	196 elif f != "/dev/null": # ignore this in very old repos
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	197 if _validpath(repo, f):
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	198 filenodes.setdefault(
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	199 _normpath(f), {}).setdefault(fn, lr)
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	200 except Exception as inst:
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	201 exc(lr, _("reading manifest delta %s") % short(n), inst)
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	202 ui.progress(_('checking'), None)
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	203
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	204 ui.status(_("crosschecking files in changesets and manifests\n"))
2778 fdc232d8a193 Move repo.verify Matt Mackall <mpm@selenic.com> parents: diff changeset	205
27443 937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	206 total = len(mflinkrevs) + len(filelinkrevs) + len(filenodes)
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	207 count = 0
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	208 if havemf:
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	209 for c, m in sorted([(c, m) for m in mflinkrevs
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	210 for c in mflinkrevs[m]]):
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	211 count += 1
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	212 if m == nullid:
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	213 continue
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	214 ui.progress(_('crosschecking'), count, total=total)
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	215 err(c, _("changeset refers to unknown manifest %s") % short(m))
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	216 mflinkrevs = None # del is bad here due to scope issues
6752 e79a8f36c2a5 verify: lots of refactoring Matt Mackall <mpm@selenic.com> parents: 6751 diff changeset	217
27443 937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	218 for f in sorted(filelinkrevs):
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	219 count += 1
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	220 ui.progress(_('crosschecking'), count, total=total)
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	221 if f not in filenodes:
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	222 lr = filelinkrevs[f][0]
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	223 err(lr, _("in changeset but not in manifest"), f)
6892 dab95717058d verify: check repo.store Adrian Buehlmann <adrian@cadifra.com> parents: 6889 diff changeset	224
27443 937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	225 if havecl:
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	226 for f in sorted(filenodes):
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	227 count += 1
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	228 ui.progress(_('crosschecking'), count, total=total)
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	229 if f not in filelinkrevs:
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	230 try:
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	231 fl = repo.file(f)
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	232 lr = min([fl.linkrev(fl.rev(n)) for n in filenodes[f]])
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	233 except Exception:
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	234 lr = None
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	235 err(lr, _("in manifest but not in changeset"), f)
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	236
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	237 ui.progress(_('crosschecking'), None)
8291 f5c1a9094e41 verify: avoid exception on missing file revlog Henrik Stuart <hg@hstuart.dk> parents: 8225 diff changeset	238
27443 937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	239 ui.status(_("checking files\n"))
8291 f5c1a9094e41 verify: avoid exception on missing file revlog Henrik Stuart <hg@hstuart.dk> parents: 8225 diff changeset	240
27443 937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	241 storefiles = set()
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	242 for f, f2, size in repo.store.datafiles():
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	243 if not f:
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	244 err(None, _("cannot decode filename '%s'") % f2)
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	245 elif size > 0 or not revlogv1:
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	246 storefiles.add(_normpath(f))
6892 dab95717058d verify: check repo.store Adrian Buehlmann <adrian@cadifra.com> parents: 6889 diff changeset	247
27443 937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	248 fncachewarned = False
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	249 files = sorted(set(filenodes) \| set(filelinkrevs))
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	250 total = len(files)
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	251 for i, f in enumerate(files):
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	252 ui.progress(_('checking'), i, item=f, total=total)
6892 dab95717058d verify: check repo.store Adrian Buehlmann <adrian@cadifra.com> parents: 6889 diff changeset	253 try:
27443 937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	254 linkrevs = filelinkrevs[f]
6892 dab95717058d verify: check repo.store Adrian Buehlmann <adrian@cadifra.com> parents: 6889 diff changeset	255 except KeyError:
27443 937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	256 # in manifest but not in changelog
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	257 linkrevs = []
2778 fdc232d8a193 Move repo.verify Matt Mackall <mpm@selenic.com> parents: diff changeset	258
27443 937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	259 if linkrevs:
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	260 lr = linkrevs[0]
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	261 else:
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	262 lr = None
2778 fdc232d8a193 Move repo.verify Matt Mackall <mpm@selenic.com> parents: diff changeset	263
3744 d626fc9e3985 verify: add rename link checking Matt Mackall <mpm@selenic.com> parents: 3473 diff changeset	264 try:
27443 937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	265 fl = repo.file(f)
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	266 except error.RevlogError as e:
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	267 err(lr, _("broken revlog! (%s)") % e, f)
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	268 continue
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	269
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	270 for ff in fl.files():
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	271 try:
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	272 storefiles.remove(ff)
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	273 except KeyError:
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	274 warn(_(" warning: revlog '%s' not in fncache!") % ff)
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	275 fncachewarned = True
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	276
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	277 checklog(fl, f, lr)
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	278 seen = {}
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	279 rp = None
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	280 for i in fl:
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	281 revisions += 1
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	282 n = fl.node(i)
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	283 lr = checkentry(fl, i, n, seen, linkrevs, f)
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	284 if f in filenodes:
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	285 if havemf and n not in filenodes[f]:
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	286 err(lr, _("%s not in manifests") % (short(n)), f)
6534 9b35a9f34675 verify: check copy source revlog and nodeid Patrick Mezard <pmezard@gmail.com> parents: 6211 diff changeset	287 else:
27443 937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	288 del filenodes[f][n]
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	289
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	290 # verify contents
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	291 try:
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	292 l = len(fl.read(n))
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	293 rp = fl.renamed(n)
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	294 if l != fl.size(i):
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	295 if len(fl.revision(n)) != fl.size(i):
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	296 err(lr, _("unpacked size is %s, %s expected") %
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	297 (l, fl.size(i)), f)
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	298 except error.CensoredNodeError:
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	299 # experimental config: censor.policy
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	300 if ui.config("censor", "policy", "abort") == "abort":
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	301 err(lr, _("censored file data"), f)
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	302 except Exception as inst:
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	303 exc(lr, _("unpacking %s") % short(n), inst, f)
3744 d626fc9e3985 verify: add rename link checking Matt Mackall <mpm@selenic.com> parents: 3473 diff changeset	304
27443 937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	305 # check renames
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	306 try:
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	307 if rp:
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	308 if lr is not None and ui.verbose:
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	309 ctx = lrugetctx(lr)
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	310 found = False
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	311 for pctx in ctx.parents():
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	312 if rp[0] in pctx:
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	313 found = True
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	314 break
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	315 if not found:
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	316 warn(_("warning: copy source of '%s' not"
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	317 " in parents of %s") % (f, ctx))
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	318 fl2 = repo.file(rp[0])
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	319 if not len(fl2):
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	320 err(lr, _("empty or missing copy source revlog "
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	321 "%s:%s") % (rp[0], short(rp[1])), f)
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	322 elif rp[1] == nullid:
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	323 ui.note(_("warning: %s@%s: copy source"
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	324 " revision is nullid %s:%s\n")
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	325 % (f, lr, rp[0], short(rp[1])))
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	326 else:
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	327 fl2.rev(rp[1])
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	328 except Exception as inst:
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	329 exc(lr, _("checking rename of %s") % short(n), inst, f)
6892 dab95717058d verify: check repo.store Adrian Buehlmann <adrian@cadifra.com> parents: 6889 diff changeset	330
27443 937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	331 # cross-check
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	332 if f in filenodes:
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	333 fns = [(lr, n) for n, lr in filenodes[f].iteritems()]
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	334 for lr, node in sorted(fns):
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	335 err(lr, _("%s in manifests not found") % short(node), f)
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	336 ui.progress(_('checking'), None)
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	337
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	338 for f in storefiles:
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	339 warn(_("warning: orphan revlog '%s'") % f)
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	340
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	341 ui.status(_("%d files, %d changesets, %d total revisions\n") %
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	342 (len(files), len(cl), revisions))
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	343 if warnings[0]:
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	344 ui.warn(_("%d warnings encountered!\n") % warnings[0])
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	345 if fncachewarned:
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	346 ui.warn(_('hint: run "hg debugrebuildfncache" to recover from '
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	347 'corrupt fncache\n'))
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	348 if errors[0]:
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	349 ui.warn(_("%d integrity errors encountered!\n") % errors[0])
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	350 if badrevs:
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	351 ui.warn(_("(first damaged changeset appears to be %d)\n")
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	352 % min(badrevs))
937e73a6e4ff verify: move verify logic into a class Durham Goode <durham@fb.com> parents: 26900 diff changeset	353 return 1

Mercurial > public > mercurial-scm > hg

annotate mercurial/verify.py @ 27443:937e73a6e4ff