equal
deleted
inserted
replaced
176 self.repo = repository(ui(), repo) |
176 self.repo = repository(ui(), repo) |
177 else: |
177 else: |
178 self.repo = repo |
178 self.repo = repo |
179 |
179 |
180 self.mtime = -1 |
180 self.mtime = -1 |
181 self.reponame = name or self.repo.ui.config("web", "name", |
181 self.reponame = name |
182 self.repo.root) |
|
183 self.archives = 'zip', 'gz', 'bz2' |
182 self.archives = 'zip', 'gz', 'bz2' |
184 |
183 |
185 def refresh(self): |
184 def refresh(self): |
186 s = os.stat(os.path.join(self.repo.root, ".hg", "00changelog.i")) |
185 s = os.stat(os.path.join(self.repo.root, ".hg", "00changelog.i")) |
187 if s.st_mtime != self.mtime: |
186 if s.st_mtime != self.mtime: |
728 port = port != "80" and (":" + port) or "" |
727 port = port != "80" and (":" + port) or "" |
729 uri = req.env["REQUEST_URI"] |
728 uri = req.env["REQUEST_URI"] |
730 if "?" in uri: |
729 if "?" in uri: |
731 uri = uri.split("?")[0] |
730 uri = uri.split("?")[0] |
732 url = "http://%s%s%s" % (req.env["SERVER_NAME"], port, uri) |
731 url = "http://%s%s%s" % (req.env["SERVER_NAME"], port, uri) |
|
732 if not self.reponame: |
|
733 self.reponame = (self.repo.ui.config("web", "name") |
|
734 or uri.strip('/') or self.repo.root) |
733 |
735 |
734 self.t = templater(m, common_filters, |
736 self.t = templater(m, common_filters, |
735 {"url": url, |
737 {"url": url, |
736 "repo": self.reponame, |
738 "repo": self.reponame, |
737 "header": header, |
739 "header": header, |