equal
deleted
inserted
replaced
138 rows = [] |
138 rows = [] |
139 parity = paritygen(self.stripecount) |
139 parity = paritygen(self.stripecount) |
140 for name, path in self.repos: |
140 for name, path in self.repos: |
141 if not name.startswith(subdir): |
141 if not name.startswith(subdir): |
142 continue |
142 continue |
|
143 name = name[len(subdir):] |
143 |
144 |
144 u = ui.ui(parentui=parentui) |
145 u = ui.ui(parentui=parentui) |
145 try: |
146 try: |
146 u.readconfig(os.path.join(path, '.hg', 'hgrc')) |
147 u.readconfig(os.path.join(path, '.hg', 'hgrc')) |
147 except IOError: |
148 except IOError: |
150 return u.config(section, name, default, untrusted=True) |
151 return u.config(section, name, default, untrusted=True) |
151 |
152 |
152 if u.configbool("web", "hidden", untrusted=True): |
153 if u.configbool("web", "hidden", untrusted=True): |
153 continue |
154 continue |
154 |
155 |
155 url = ('/'.join([req.env["REQUEST_URI"].split('?')[0], name[len(subdir):]]) |
156 url = ('/'.join([req.env["REQUEST_URI"].split('?')[0], name]) |
156 .replace("//", "/")) + '/' |
157 .replace("//", "/")) + '/' |
157 |
158 |
158 # update time with local timezone |
159 # update time with local timezone |
159 try: |
160 try: |
160 d = (get_mtime(path), util.makedate()[1]) |
161 d = (get_mtime(path), util.makedate()[1]) |