| commit | b16dd29147fa8155cb9d9dadfb7c587aef81d772 | [log] [tgz] |
|---|---|---|
| author | vlakoff <vlakoff@gmail.com> | Sun Sep 16 19:11:39 2012 +0200 |
| committer | vlakoff <vlakoff@gmail.com> | Sun Sep 16 19:11:39 2012 +0200 |
| tree | fd1d2a13809897b7cd9b8ac3226cbe870a6d6a23 | |
| parent | 4a853e206fe36126594d4ea3fd415db00264187d [diff] |
Minor change in Output cache file check Won't change anything in practice, but robuster (and faster) if ever a cache file would be invalid
diff --git a/system/core/Output.php b/system/core/Output.php index 9842f83..847c61e 100644 --- a/system/core/Output.php +++ b/system/core/Output.php
@@ -552,7 +552,7 @@ fclose($fp); // Strip out the embedded timestamp - if ( ! preg_match('/\d+TS--->/', $cache, $match)) + if ( ! preg_match('/^\d+TS--->/', $cache, $match)) { return FALSE; }