| Summary: | Should automate conversion of index.php to index.html | ||
|---|---|---|---|
| Product: | [WebTools] WTP Releng | Reporter: | David Williams <david_williams> |
| Component: | releng | Assignee: | webtools.releng <webtools.releng-inbox> |
| Status: | NEW --- | QA Contact: | Carl Anderson <ccc> |
| Severity: | normal | ||
| Priority: | P3 | ||
| Version: | 3.10 | ||
| Target Milestone: | --- | ||
| Hardware: | PC | ||
| OS: | Linux | ||
| Whiteboard: | |||
|
Description
David Williams
Oh, and meant to say, I didn't figure all this out for myself :) ... Matt, I think, did it once for us when system was being swamped. I subsequently searched the internet for this "trick", and discovered that some people or sites routinely do it ... such as in a cron job, that runs every hour or once a day. Our index.php is not dynamic enough to justify that, but I found it interesting. Oh, and should add ... we'd probably have to "correct" the index.html file by recomputing it, or remove it, when we move a build to "archives". Note to self (or, to anyone who actually implements this in an automated way): It would be a great feature to add an extra line (even if in small print) to the generated html page, that would say something like "generated on <date> <time>" (where, date and time were the time the script ran). I say this since working on some "old" test machines, I was seeing very confusing results, not realizing, for a while, that the browser was picking up an old index.html file, instead of using index.php and doing a fresh "compute" of the current directories. Just an idea I didn't want to lose. |