equal
deleted
inserted
replaced
997 |
997 |
998 url = ('/'.join([req.env["REQUEST_URI"].split('?')[0], name]) |
998 url = ('/'.join([req.env["REQUEST_URI"].split('?')[0], name]) |
999 .replace("//", "/")) |
999 .replace("//", "/")) |
1000 |
1000 |
1001 # update time with local timezone |
1001 # update time with local timezone |
1002 d = (get_mtime(path), util.makedate()[1]) |
1002 try: |
|
1003 d = (get_mtime(path), util.makedate()[1]) |
|
1004 except OSError: |
|
1005 continue |
1003 |
1006 |
1004 yield dict(contact=(get("ui", "username") or # preferred |
1007 yield dict(contact=(get("ui", "username") or # preferred |
1005 get("web", "contact") or # deprecated |
1008 get("web", "contact") or # deprecated |
1006 get("web", "author", "unknown")), # also |
1009 get("web", "author", "unknown")), # also |
1007 name=get("web", "name", name), |
1010 name=get("web", "name", name), |