mercurial/verify.py
changeset 17851 7aa7380691b8
parent 17720 9a1796af4f8d
child 17860 a45b33f12627
--- a/mercurial/verify.py	Wed Oct 17 15:37:25 2012 -0500
+++ b/mercurial/verify.py	Mon Oct 22 18:05:40 2012 -0700
@@ -7,7 +7,7 @@
 
 from node import nullid, short
 from i18n import _
-import os
+import os, posixpath
 import revlog, util, error
 
 def verify(repo):
@@ -236,7 +236,12 @@
             try:
                 storefiles.remove(ff)
             except KeyError:
-                err(lr, _("missing revlog!"), ff)
+                # under hg < 2.4, convert didn't sanitize paths properly,
+                # so a converted repo may contain repeated slashes
+                try:
+                    storefiles.remove(posixpath.normpath(ff))
+                except KeyError:
+                    err(lr, _("missing revlog!"), ff)
 
         checklog(fl, f, lr)
         seen = {}