equal
deleted
inserted
replaced
76 if prefix: |
76 if prefix: |
77 name = prefix + '/' + name |
77 name = prefix + '/' + name |
78 self.repos.append((name, path)) |
78 self.repos.append((name, path)) |
79 |
79 |
80 for prefix, root in self.ui.configitems('collections'): |
80 for prefix, root in self.ui.configitems('collections'): |
81 for path in util.walkrepos(root, followsym=True): |
81 for path in util.walkrepos(root, followsym=True): |
82 repo = os.path.normpath(path) |
82 repo = os.path.normpath(path) |
83 name = repo |
83 name = repo |
84 if name.startswith(prefix): |
84 if name.startswith(prefix): |
85 name = name[len(prefix):] |
85 name = name[len(prefix):] |
86 self.repos.append((name.lstrip(os.sep), repo)) |
86 self.repos.append((name.lstrip(os.sep), repo)) |
87 |
87 |
88 self.repos.sort() |
88 self.repos.sort() |
89 self.lastrefresh = time.time() |
89 self.lastrefresh = time.time() |
90 |
90 |
91 def run(self): |
91 def run(self): |