mirror of
https://github.com/facebook/sapling.git
synced 2024-10-07 15:27:13 +03:00
configitems: register the 'web.refreshinterval' config
This commit is contained in:
parent
dd08c3c7c0
commit
aec01b0c2a
@ -634,6 +634,9 @@ coreconfigitem('web', 'port',
|
||||
coreconfigitem('web', 'prefix',
|
||||
default='',
|
||||
)
|
||||
coreconfigitem('web', 'refreshinterval',
|
||||
default=20,
|
||||
)
|
||||
coreconfigitem('worker', 'backgroundclose',
|
||||
default=dynamicdefault,
|
||||
)
|
||||
|
@ -29,6 +29,7 @@ from .common import (
|
||||
from .request import wsgirequest
|
||||
|
||||
from .. import (
|
||||
configitems,
|
||||
encoding,
|
||||
error,
|
||||
hg,
|
||||
@ -124,10 +125,11 @@ class hgwebdir(object):
|
||||
self.refresh()
|
||||
|
||||
def refresh(self):
|
||||
refreshinterval = 20
|
||||
if self.ui:
|
||||
refreshinterval = self.ui.configint('web', 'refreshinterval',
|
||||
refreshinterval)
|
||||
refreshinterval = self.ui.configint('web', 'refreshinterval')
|
||||
else:
|
||||
item = configitems.coreitems['web']['refreshinterval']
|
||||
refreshinterval = item.default
|
||||
|
||||
# refreshinterval <= 0 means to always refresh.
|
||||
if (refreshinterval > 0 and
|
||||
|
Loading…
Reference in New Issue
Block a user