diff options
| author | admin <devnull@localhost> | 2006-09-03 20:24:39 +0200 |
|---|---|---|
| committer | admin <devnull@localhost> | 2006-09-03 20:24:39 +0200 |
| commit | 1cf89aab5fff8c8068cbf0ed18038b6e4fd4f605 (patch) | |
| tree | 18ee7e5d935161e64460f55a1ce8ddceb2cbe046 /system/libraries/Output.php | |
| parent | 6ac4bea2da9e64fb0b434f52177353f6bd65b8e6 (diff) | |
Diffstat (limited to 'system/libraries/Output.php')
| -rw-r--r-- | system/libraries/Output.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/system/libraries/Output.php b/system/libraries/Output.php index 73f03863e..7a03cf9c7 100644 --- a/system/libraries/Output.php +++ b/system/libraries/Output.php @@ -78,7 +78,7 @@ class CI_Output { */ function cache($time) { - $this->cache_expiration = ( ! ctype_digit($time)) ? 0 : $time; + $this->cache_expiration = ( ! is_numeric($time)) ? 0 : $time; } // -------------------------------------------------------------------- |