equal
deleted
inserted
replaced
53 self._baseurl = cp.get('web', 'baseurl') |
53 self._baseurl = cp.get('web', 'baseurl') |
54 if cp.has_section('paths'): |
54 if cp.has_section('paths'): |
55 self.repos.extend(cleannames(cp.items('paths'))) |
55 self.repos.extend(cleannames(cp.items('paths'))) |
56 if cp.has_section('collections'): |
56 if cp.has_section('collections'): |
57 for prefix, root in cp.items('collections'): |
57 for prefix, root in cp.items('collections'): |
58 for path in util.walkrepos(root): |
58 for path in util.walkrepos(root, followsym = True): |
59 repo = os.path.normpath(path) |
59 repo = os.path.normpath(path) |
60 name = repo |
60 name = repo |
61 if name.startswith(prefix): |
61 if name.startswith(prefix): |
62 name = name[len(prefix):] |
62 name = name[len(prefix):] |
63 self.repos.append((name.lstrip(os.sep), repo)) |
63 self.repos.append((name.lstrip(os.sep), repo)) |