Pipermail HTML file modification times

When using a search engine to index Pipermail archives, it is very useful if the modification time of each individual HTML file corresponds to the actual time when the message was sent. This permits to easily sort search results by message dates. Unfortunately, when archives are regenerated using 'arch', the modification time of all the HTML files is reset to the current time. Here is a trivial patch that always sets the modification time of the HTML files to the message date: --- HyperArch.py.orig 2005-05-31 20:02:40.000000000 +0200 +++ HyperArch.py 2005-05-31 20:02:45.000000000 +0200 @@ -1295,3 +1295,4 @@ os.umask(omask) f.write(article.as_html()) f.close() + os.utime(filename, (int(article.date), int(article.date))) What do you think? (If you want to see how this information can be used in practice, try for example the "last modified date" link on one of my web site's results page: http://geuz.org/search/search-geuz.cgi?q=extrude) Cheers, Christophe -- Christophe Geuzaine Applied and Computational Mathematics, Caltech geuzaine@acm.caltech.edu - http://geuz.org
participants (1)
-
Christophe Geuzaine