diff --git a/ChangeLog b/ChangeLog index 6aea97d0e..0bc4322ad 100755 --- a/ChangeLog +++ b/ChangeLog @@ -17,8 +17,9 @@ $Source$ ASC/DESC) suggested by Thomas Michael Winningham. * lib.inc.php3, lines 341-343, 385-387: applied patch #437129 (Table Edit Inheritence) suggested by Thomas Michael Winningham. + * header.inc.php3: added headers to vaoid the use of cached files (required + for Opera) - 2001-06-29 Marc Delisle * user_details.php3, js code to protect db and table names diff --git a/header.inc.php3 b/header.inc.php3 index a8a96d273..42e2333e4 100755 --- a/header.inc.php3 +++ b/header.inc.php3 @@ -2,6 +2,18 @@ /* $Id$ */ require("./lib.inc.php3"); + +/** + * Send http headers + */ +// Don't use cache (required for Opera) +$now = gmdate('D, d M Y H:i:s') . ' GMT'; +header('Expires: ' . $now); +header('Last-Modified: ' . $now); +header('Cache-Control: no-store, no-cache, must-revalidate'); // HTTP/1.1 +header('Cache-Control: pre-check=0, post-check=0, max-age=0'); // HTTP/1.1 +header('Pragma: no-cache'); // HTTP/1.0 +// Define the charset to be used header('Content-Type: text/html; charset=' . $charset); ?> @@ -24,12 +36,6 @@ A:hover.nav { font-family: Verdana, Arial, Helvetica, sans-serif; color: red;} .nav { font-family: Verdana, Arial, Helvetica, sans-serif; color: #000000} //--> -