From 70133b28d00744547ede8a9f8a3ad635de1c6c6b Mon Sep 17 00:00:00 2001
From: Jason Woofenden <jason283@herkamire.com>
Date: Wed, 11 Mar 2009 21:36:29 -0400
Subject: [PATCH] made css (privately) cacheable for a year, fixed css 404

---
 css_mangler.php |   16 +++++++++++-----
 1 file changed, 11 insertions(+), 5 deletions(-)

diff --git a/css_mangler.php b/css_mangler.php
index 40f0e8e..1b0d7d8 100644
--- a/css_mangler.php
+++ b/css_mangler.php
@@ -1,5 +1,6 @@
 <?php
 
+require_once('code/wfpl/http.php');
 require_once('code/wfpl/file.php');
 require_once('code/ie_detect.php');
 
@@ -13,18 +14,23 @@ function css_mangler() {
 
 	$file = substr($file, 1);
 
+	# links like style_77.css will return style.css
+
+	# This feature is used as part of a strategy to make sure that the css
+	# file is not cached longer than the html. Also I can shorten loading times
+	# by allowing caching forever.
+
 	$file = ereg_replace('_[0-9]*[.]css', '.css', $file);
 
-	$mtime = filemtime($file);
-	if($mtime === false) {
+	if(!file_exists($file)) {
+		header('HTTP/1.0 404 File Not Found');
 		header('Content-Type: text/plain');
-		print("cannot stat $file");
+		print("File \"$file\" not found.");
 		return;
 	}
 
 	header('Content-Type: text/css');
-	header('Last-Modified: '.gmdate('D, d M Y H:i:s', $mtime) . ' GMT');
-	header('Last-Modified: '.gmdate('D, d M Y H:i:s', $mtime) . ' GMT');
+	http_cache_forever('private'); # serves different content for old IE versions, so no sharing the cache
 
 	if(ie5or6()) {
 		echo(ereg_replace("\n[^\n]*remove this line for IE 5.5 and 6[^\n]*\n", "\n", read_whole_file($file)));
-- 
1.7.10.4