diff options
| author | vlakoff <vlakoff@gmail.com> | 2012-09-16 19:11:39 +0200 |
|---|---|---|
| committer | vlakoff <vlakoff@gmail.com> | 2012-09-16 19:11:39 +0200 |
| commit | b16dd29147fa8155cb9d9dadfb7c587aef81d772 (patch) | |
| 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
| -rw-r--r-- | system/core/Output.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/system/core/Output.php b/system/core/Output.php index 9842f834d..847c61e3e 100644 --- a/system/core/Output.php +++ b/system/core/Output.php @@ -552,7 +552,7 @@ class CI_Output { fclose($fp); // Strip out the embedded timestamp - if ( ! preg_match('/\d+TS--->/', $cache, $match)) + if ( ! preg_match('/^\d+TS--->/', $cache, $match)) { return FALSE; } |