Tue Dec 13 13:28:49 UTC 2005 Alberto Bertogli <albertogli@telpin.com.ar>

* Use darcsweb.cgi's modification time to invalidate cache entries.

Besides the repository inventory modification time, we also want to check the

script's modification time, so if we make changes to darcsweb (updating it,

for instance), there's no possibility of serving stale pages if the user

forgets to clean the cache. You still need to clean it for configuration

changes.

--- old-darcsweb/darcsweb.cgi 2014-04-13 08:03:25.000000000 +0000

+++ new-darcsweb/darcsweb.cgi 2014-04-13 08:03:26.000000000 +0000

@@ -425,8 +425,9 @@

inv = config.repodir + '/_darcs/inventory'

cache_lastmod = os.stat(fname).st_mtime

repo_lastmod = os.stat(inv).st_mtime

+ dw_lastmod = os.stat(sys.argv[0]).st_mtime

- if repo_lastmod > cache_lastmod:

+ if repo_lastmod > cache_lastmod or dw_lastmod > cache_lastmod:

# the entry is too old, remove it and return a miss

os.unlink(fname)