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/Session.php | |
| parent | 6ac4bea2da9e64fb0b434f52177353f6bd65b8e6 (diff) | |
Diffstat (limited to 'system/libraries/Session.php')
| -rw-r--r-- | system/libraries/Session.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/system/libraries/Session.php b/system/libraries/Session.php index 4f08cf692..94efee55c 100644 --- a/system/libraries/Session.php +++ b/system/libraries/Session.php @@ -99,7 +99,7 @@ class CI_Session { */ $expiration = $this->object->config->item('sess_expiration'); - if (ctype_digit($expiration)) + if (is_numeric($expiration)) { if ($expiration > 0) { |