[Mailman-Developers] Pipermail HTML file modification times

[Christophe Geuzaine]

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 at acm.caltech.edu - http://geuz.org