diff -r ff12a6c63c3d -r 06320fb11699 mercurial/hgweb/hgwebdir_mod.py --- a/mercurial/hgweb/hgwebdir_mod.py Sun Aug 16 10:19:00 2015 +0200 +++ b/mercurial/hgweb/hgwebdir_mod.py Sat Aug 22 22:59:51 2015 -0700 @@ -79,17 +79,23 @@ return name, str(port), path class hgwebdir(object): - refreshinterval = 20 - def __init__(self, conf, baseui=None): self.conf = conf self.baseui = baseui + self.ui = None self.lastrefresh = 0 self.motd = None self.refresh() def refresh(self): - if self.lastrefresh + self.refreshinterval > time.time(): + refreshinterval = 20 + if self.ui: + refreshinterval = self.ui.configint('web', 'refreshinterval', + refreshinterval) + + # refreshinterval <= 0 means to always refresh. + if (refreshinterval > 0 and + self.lastrefresh + refreshinterval > time.time()): return if self.baseui: