nettika/phpmyadmin
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Added http headers to avoid the use of cached files (Opera fix)

Browse Source
This commit is contained in:
Loïc Chapeaux
2001-06-30 17:55:22 +00:00
parent e75502111c
commit 45a4a48f53
2 changed files with 14 additions and 7 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
ChangeLog
View File

@@ -17,7 +17,8 @@ $Source$
ASC/DESC) suggested by Thomas Michael Winningham. ASC/DESC) suggested by Thomas Michael Winningham.
* lib.inc.php3, lines 341-343, 385-387: applied patch #437129 (Table Edit * lib.inc.php3, lines 341-343, 385-387: applied patch #437129 (Table Edit
Inheritence) suggested by Thomas Michael Winningham. 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 <lem9@users.sourceforge.net> 2001-06-29 Marc Delisle <lem9@users.sourceforge.net>
* user_details.php3, js code to protect db and table names * user_details.php3, js code to protect db and table names

18
header.inc.php3
View File

@@ -2,6 +2,18 @@
/* $Id$ */ /* $Id$ */
require("./lib.inc.php3"); 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); 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} .nav { font-family: Verdana, Arial, Helvetica, sans-serif; color: #000000}
//--> //-->
</style> </style>
<!--
<META HTTP-EQUIV="Expires" CONTENT="Fri, Jun 12 1981 08:20:00 GMT">
<META HTTP-EQUIV="Pragma" CONTENT="no-cache">
<META HTTP-EQUIV="Cache-Control" CONTENT="no-cache">
<META HTTP-EQUIV="Content-Type: text/html; charset=<?php echo $charset; ?>">
-->
</head> </head>
<body bgcolor="#F5F5F5" text="#000000" background="images/bkg.gif"> <body bgcolor="#F5F5F5" text="#000000" background="images/bkg.gif">