diff options
author | vlakoff <vlakoff@gmail.com> | 2012-07-23 17:06:36 +0200 |
---|---|---|
committer | vlakoff <vlakoff@gmail.com> | 2012-07-23 17:06:36 +0200 |
commit | d9384ad6472dd042a897a9b80d78bbf92a794c0f (patch) | |
tree | 220fe98286ddb3490e36b39eaebf0297973bbd44 /system | |
parent | 1288fe36214e0c8a22edec16da209081930e17c9 (diff) |
output->_display_cache() simplifications
remove an unneeded regex capturing group and an unneeded trim()
Diffstat (limited to 'system')
-rw-r--r-- | system/core/Output.php | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/system/core/Output.php b/system/core/Output.php index 2bf4e998f..9842f834d 100644 --- a/system/core/Output.php +++ b/system/core/Output.php @@ -552,13 +552,13 @@ 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; } $last_modified = filemtime($cache_path); - $expire = trim(str_replace('TS--->', '', $match[1])); + $expire = str_replace('TS--->', '', $match[0]); // Has the file expired? if ($_SERVER['REQUEST_TIME'] >= $expire && is_really_writable($cache_path)) |