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.
{
hunk ./darcsweb.cgi 428
+ dw_lastmod = os.stat(sys.argv[0]).st_mtime
hunk ./darcsweb.cgi 430
- if repo_lastmod > cache_lastmod:
+ if repo_lastmod > cache_lastmod or dw_lastmod > cache_lastmod:
}