| 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/Session.php b/system/libraries/Session.php index 4f08cf6..94efee5 100644 --- a/system/libraries/Session.php +++ b/system/libraries/Session.php
@@ -99,7 +99,7 @@ */ $expiration = $this->object->config->item('sess_expiration'); - if (ctype_digit($expiration)) + if (is_numeric($expiration)) { if ($expiration > 0) {