##// END OF EJS Templates
Merge with crew-stable
Patrick Mezard -
r8537:b48a1e08 merge default
parent child Browse files
Show More
@@ -79,12 +79,13 b' class hgwebdir(object):'
79
79
80 self.repos = findrepos(paths)
80 self.repos = findrepos(paths)
81 for prefix, root in self.ui.configitems('collections'):
81 for prefix, root in self.ui.configitems('collections'):
82 prefix = util.pconvert(prefix)
82 for path in util.walkrepos(root, followsym=True):
83 for path in util.walkrepos(root, followsym=True):
83 repo = os.path.normpath(path)
84 repo = os.path.normpath(path)
84 name = repo
85 name = util.pconvert(repo)
85 if name.startswith(prefix):
86 if name.startswith(prefix):
86 name = name[len(prefix):]
87 name = name[len(prefix):]
87 self.repos.append((name.lstrip(os.sep), repo))
88 self.repos.append((name.lstrip('/'), repo))
88
89
89 self.repos.sort()
90 self.repos.sort()
90 self.lastrefresh = time.time()
91 self.lastrefresh = time.time()
General Comments 0
You need to be logged in to leave comments. Login now