11 Sep
2005
11 Sep
'05
12:07 p.m.
Ralf Stephan wrote:
Maybe we can use the publishing script to do our "includes" for us, and go back to just using straight .html files?
That would at least stop the annoying reload of doxygen index files, if I'm not mistaken, so I'm for it.
I'm no expert but can't you prevent that in php by explicitly sending the modification header with something like:
<?php $mtime = filemtime($_SERVER['SCRIPT_FILENAME']); $gmdate_mod = gmdate('D, d M Y H:i:s', $mtime) . ' GMT'; header("Last-Modified: $gmdate_mod"); ?>
Aaron Spike