comparison cache_check.inc @ 14:91ee5f49907e

Correct caching. We could probably push caching earlier, but more important that it is correct.
author Tom Fredrik "BFG" Klaussen <bfg@blenning.no>
date Wed, 19 Sep 2012 13:55:58 +0200
parents 6c0162497d56
children f51be7b9711a
comparison
equal deleted inserted replaced
13:9dab5b96b789 14:91ee5f49907e
1 <?php 1 <?php
2 if (DEBUG) 2 function cache_check($mtime)
3 var_dump($_SERVER); 3 {
4 if (DEBUG)
5 var_dump($_SERVER);
4 6
5 $HTTP_IF_MODIFIED_SINCE=$_SERVER['HTTP_IF_MODIFIED_SINCE']; 7 $HTTP_IF_MODIFIED_SINCE=$_SERVER['HTTP_IF_MODIFIED_SINCE'];
6 $if_modified_since = preg_replace('/;.*$/', '', $HTTP_IF_MODIFIED_SINCE); 8 $if_modified_since = preg_replace('/;.*$/', '', $HTTP_IF_MODIFIED_SINCE);
7 9
8 $SCRIPT_FILENAME=$_SERVER['SCRIPT_FILENAME']; 10 $gmdate_mod = gmdate('D, d M Y H:i:s', $mtime) . ' GMT';
9 $mtime = filemtime($SCRIPT_FILENAME);
10 $gmdate_mod = gmdate('D, d M Y H:i:s', $mtime) . ' GMT';
11 11
12 if ($if_modified_since == $gmdate_mod) { 12 if ($if_modified_since == $gmdate_mod) {
13 header("HTTP/1.0 304 Not Modified"); 13 header("HTTP/1.0 304 Not Modified");
14 exit; 14 exit;
15 }
16 header("Last-Modified: $gmdate_mod");
15 } 17 }
16 header("Last-Modified: $gmdate_mod");
17 ?> 18 ?>