| commit | 1cf89aab5fff8c8068cbf0ed18038b6e4fd4f605 | [log] [tgz] |
|---|---|---|
| author | admin <devnull@localhost> | Sun Sep 03 18:24:39 2006 +0000 |
| committer | admin <devnull@localhost> | Sun Sep 03 18:24:39 2006 +0000 |
| tree | 18ee7e5d935161e64460f55a1ce8ddceb2cbe046 | |
| parent | 6ac4bea2da9e64fb0b434f52177353f6bd65b8e6 [diff] [blame] |
diff --git a/system/libraries/Output.php b/system/libraries/Output.php index 73f0386..7a03cf9 100644 --- a/system/libraries/Output.php +++ b/system/libraries/Output.php
@@ -78,7 +78,7 @@ */ function cache($time) { - $this->cache_expiration = ( ! ctype_digit($time)) ? 0 : $time; + $this->cache_expiration = ( ! is_numeric($time)) ? 0 : $time; } // --------------------------------------------------------------------