equal
deleted
inserted
replaced
139 u.readconfig(os.path.join(path, '.hg', 'hgrc')) |
139 u.readconfig(os.path.join(path, '.hg', 'hgrc')) |
140 except IOError: |
140 except IOError: |
141 pass |
141 pass |
142 def get(section, name, default=None): |
142 def get(section, name, default=None): |
143 return u.config(section, name, default, untrusted=True) |
143 return u.config(section, name, default, untrusted=True) |
|
144 |
|
145 if u.configbool("web", "hidden", untrusted=True): |
|
146 continue |
144 |
147 |
145 url = ('/'.join([req.env["REQUEST_URI"].split('?')[0], name]) |
148 url = ('/'.join([req.env["REQUEST_URI"].split('?')[0], name]) |
146 .replace("//", "/")) + '/' |
149 .replace("//", "/")) + '/' |
147 |
150 |
148 # update time with local timezone |
151 # update time with local timezone |