equal
deleted
inserted
replaced
185 return (config("web", "contact") or |
185 return (config("web", "contact") or |
186 config("ui", "username") or |
186 config("ui", "username") or |
187 os.environ.get("EMAIL") or "") |
187 os.environ.get("EMAIL") or "") |
188 |
188 |
189 def caching(web, req): |
189 def caching(web, req): |
190 tag = str(web.mtime) |
190 tag = 'W/"%s"' % web.mtime |
191 if req.env.get('HTTP_IF_NONE_MATCH') == tag: |
191 if req.env.get('HTTP_IF_NONE_MATCH') == tag: |
192 raise ErrorResponse(HTTP_NOT_MODIFIED) |
192 raise ErrorResponse(HTTP_NOT_MODIFIED) |
193 req.headers.append(('ETag', tag)) |
193 req.headers.append(('ETag', tag)) |