equal
deleted
inserted
replaced
168 name = name[len(prefix):] |
168 name = name[len(prefix):] |
169 repos.append((name.lstrip('/'), repo)) |
169 repos.append((name.lstrip('/'), repo)) |
170 |
170 |
171 self.repos = repos |
171 self.repos = repos |
172 self.ui = u |
172 self.ui = u |
173 encoding.encoding = self.ui.config('web', 'encoding', |
173 encoding.encoding = self.ui.config('web', 'encoding') |
174 encoding.encoding) |
|
175 self.style = self.ui.config('web', 'style', 'paper') |
174 self.style = self.ui.config('web', 'style', 'paper') |
176 self.templatepath = self.ui.config('web', 'templates', None) |
175 self.templatepath = self.ui.config('web', 'templates', None) |
177 self.stripecount = self.ui.config('web', 'stripes', 1) |
176 self.stripecount = self.ui.config('web', 'stripes', 1) |
178 if self.stripecount: |
177 if self.stripecount: |
179 self.stripecount = int(self.stripecount) |
178 self.stripecount = int(self.stripecount) |