equal
deleted
inserted
replaced
19 def __init__(self, config, parentui=None): |
19 def __init__(self, config, parentui=None): |
20 def cleannames(items): |
20 def cleannames(items): |
21 return [(util.pconvert(name).strip('/'), path) |
21 return [(util.pconvert(name).strip('/'), path) |
22 for name, path in items] |
22 for name, path in items] |
23 |
23 |
24 self.parentui = parentui or ui.ui(report_untrusted=False, |
24 if parentui: |
25 interactive = False) |
25 self.parentui = parentui |
|
26 else: |
|
27 self.parentui = ui.ui() |
|
28 self.parentui.setconfig('ui', 'report_untrusted', 'off') |
|
29 self.parentui.setconfig('ui', 'interactive', 'off') |
|
30 |
26 self.motd = None |
31 self.motd = None |
27 self.style = 'paper' |
32 self.style = 'paper' |
28 self.stripecount = None |
33 self.stripecount = None |
29 self.repos_sorted = ('name', False) |
34 self.repos_sorted = ('name', False) |
30 self._baseurl = None |
35 self._baseurl = None |