X-Git-Url: https://jasonwoof.com/gitweb/?p=contractor-progress.git;a=blobdiff_plain;f=css_mangler.php;h=bc600516d50bfd481c1a15aa1cb68dc02c504343;hp=40f0e8e0864d0c75e18a5a8bc728002146cc3e25;hb=HEAD;hpb=5128251de7e25e60838369d83945cc7af40a579e

diff --git a/css_mangler.php b/css_mangler.php
index 40f0e8e..bc60051 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');
+	header('Content-Type: text/plain');
+	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)));