Ich meine, das funktioniert bei den Programmen ganz gut.
Ist es bei PHP-Skripten nicht ohnehin so eingestellt, daß das Dienstprogramm immer in den
Kopfdaten sendet, das sei neu zu laden?
Ich meine, das ist auch in HTTP spezifiziert, wie man das machen muß.
Sinngemäßt die Eigenschaft ‘Expires’ mit einem Datum als Wert, leider allerdings in
irgendeinem amerikanischen Dialekt, nicht im internationalen Standard für die Angabe eines
Datums - immer wieder nervig, denn man muß den Wochentag nachsehen und die
Akürzung für den Monatsnamen, also sowas hier bei (X)HTML:
Per PHP sinngemäß (von mir nicht systematisch untersucht, was man wirklich braucht und was davon nur ‘Voodoo’ ist):
header("Expires: Mon, 16 Oct 2006 00:00:00 GMT"); // Datum aus Vergangenheit
header("Last-Modified: " . gmdate("D, d M Y H:i:s") . " GMT"); // immer geändert
header("Cache-Control: no-store, no-cache, must-revalidate"); // HTTP/1.1
header("Cache-Control: post-check=0, pre-check=0", false);
header("Pragma: no-cache"); // HTTP/1.0
Mag aber sein, daß das eigentlich überflüssig ist bei PHP, wenn das da ohnehin gesendet
wird, müßte man man genau in den Tiefen der Konfiguration nachlesen.
Bislang habe ich zumindest noch nicht erlebt, daß ein Programm das ignoriert hätte -
aber wie immer ist natürlich nicht durchschaubar, was da warum implementiert wird oder
eben auch nicht. Nach meinen bisherigen reichhaltigen Diskussionen mit Leuten, die für
Implementierungen zuständig sind, gibt es da kein System. Und es ist auch nicht so relevant
was in Spezifikationen steht, die dieselben Leute nicht gerade selbst geschrieben haben ;o)
Von daher kann man sich auf nichts verlassen.
Wundersamer Weise funktioniert aber doch Vieles halbwegs so, daß man es irgendwie brauchen
kann ;o)