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