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