equal
deleted
inserted
replaced
175 return u.config(section, name, default, untrusted=True) |
175 return u.config(section, name, default, untrusted=True) |
176 |
176 |
177 if u.configbool("web", "hidden", untrusted=True): |
177 if u.configbool("web", "hidden", untrusted=True): |
178 continue |
178 continue |
179 |
179 |
180 parts = [req.env['PATH_INFO'].strip('/'), name] |
180 parts = [req.env['PATH_INFO'].rstrip('/'), name] |
181 if req.env['SCRIPT_NAME']: |
181 if req.env['SCRIPT_NAME']: |
182 parts.insert(0, req.env['SCRIPT_NAME']) |
182 parts.insert(0, req.env['SCRIPT_NAME']) |
183 url = ('/'.join(parts).replace("//", "/")) + '/' |
183 url = ('/'.join(parts).replace("//", "/")) + '/' |
184 |
184 |
185 # update time with local timezone |
185 # update time with local timezone |