nicht angemeldet
Schoenen Dank an Andreas Doelling und Martin Hoelter! Vorlaeufiges Fazit:
Eine einfache Loesung liegt nicht auf der Hand.
Das Seitencaching moechte ich grundsaetzlich zulassen: meine Seiten sind ohnehin oft zu schwer, und da moechte ich keinen Nutzer zwíngen, eine Seite waehrend der gleichen Session mehrmals herunterzuladen.
Im uebrigen ist es mir auch garnicht gelungen, mit einer der von Martin angegebenen Header-Einstellungen Opera vom Caching abzuhalten. Ich bin nicht einmal ganz sicher, ob wir es mit normalem Caching auf dem lokalen Festspeicher zu tun haben, denn dort cachen die anderen Browser ja auch und fuehren trotzdem beim wiederholten Aufruf der Seite die JavaScript-Funktion wieder aus.
Ich hatte gehofft, dass es irgendeinen naheliegenden Hack gaebe, Opera zur wiederholten Ausfuehrung zu zwingen. Falls jemandem noch etwas einfaellt: immer her damit!
OL