##// END OF EJS Templates
configitems: register the 'web.refreshinterval' config
Boris Feld -
r34241:fe5202be default
parent child Browse files
Show More
@@ -634,6 +634,9 b" coreconfigitem('web', 'port',"
634 634 coreconfigitem('web', 'prefix',
635 635 default='',
636 636 )
637 coreconfigitem('web', 'refreshinterval',
638 default=20,
639 )
637 640 coreconfigitem('worker', 'backgroundclose',
638 641 default=dynamicdefault,
639 642 )
@@ -29,6 +29,7 b' from .common import ('
29 29 from .request import wsgirequest
30 30
31 31 from .. import (
32 configitems,
32 33 encoding,
33 34 error,
34 35 hg,
@@ -124,10 +125,11 b' class hgwebdir(object):'
124 125 self.refresh()
125 126
126 127 def refresh(self):
127 refreshinterval = 20
128 128 if self.ui:
129 refreshinterval = self.ui.configint('web', 'refreshinterval',
130 refreshinterval)
129 refreshinterval = self.ui.configint('web', 'refreshinterval')
130 else:
131 item = configitems.coreitems['web']['refreshinterval']
132 refreshinterval = item.default
131 133
132 134 # refreshinterval <= 0 means to always refresh.
133 135 if (refreshinterval > 0 and
General Comments 0
You need to be logged in to leave comments. Login now