##// 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 coreconfigitem('web', 'prefix',
634 coreconfigitem('web', 'prefix',
635 default='',
635 default='',
636 )
636 )
637 coreconfigitem('web', 'refreshinterval',
638 default=20,
639 )
637 coreconfigitem('worker', 'backgroundclose',
640 coreconfigitem('worker', 'backgroundclose',
638 default=dynamicdefault,
641 default=dynamicdefault,
639 )
642 )
@@ -29,6 +29,7 b' from .common import ('
29 from .request import wsgirequest
29 from .request import wsgirequest
30
30
31 from .. import (
31 from .. import (
32 configitems,
32 encoding,
33 encoding,
33 error,
34 error,
34 hg,
35 hg,
@@ -124,10 +125,11 b' class hgwebdir(object):'
124 self.refresh()
125 self.refresh()
125
126
126 def refresh(self):
127 def refresh(self):
127 refreshinterval = 20
128 if self.ui:
128 if self.ui:
129 refreshinterval = self.ui.configint('web', 'refreshinterval',
129 refreshinterval = self.ui.configint('web', 'refreshinterval')
130 refreshinterval)
130 else:
131 item = configitems.coreitems['web']['refreshinterval']
132 refreshinterval = item.default
131
133
132 # refreshinterval <= 0 means to always refresh.
134 # refreshinterval <= 0 means to always refresh.
133 if (refreshinterval > 0 and
135 if (refreshinterval > 0 and
General Comments 0
You need to be logged in to leave comments. Login now