diff options
author | Andrey Andreev <narf@devilix.net> | 2021-02-04 15:29:36 +0100 |
---|---|---|
committer | Andrey Andreev <narf@devilix.net> | 2021-02-04 15:30:19 +0100 |
commit | d3d274b4bd46be966b519e1e6cb8f3f61d4ef898 (patch) | |
tree | 98ff0bbcc3a224a48bafe3da5fe08b402227c784 | |
parent | 68ecbb692a2b19b0f0d11b57f0276cdc95637298 (diff) |
[ci skip] Remove a comment made obsolete by PR #6013
-rw-r--r-- | system/libraries/Session/Session.php | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/system/libraries/Session/Session.php b/system/libraries/Session/Session.php index f872d5325..06b953ab2 100644 --- a/system/libraries/Session/Session.php +++ b/system/libraries/Session/Session.php @@ -415,8 +415,6 @@ class CI_Session { { $_SESSION['__ci_vars'][$key] = 'old'; } - // Hacky, but 'old' will (implicitly) always be less than time() ;) - // DO NOT move this above the 'new' check! elseif ($value === 'old' || $value < $current_time) { unset($_SESSION[$key], $_SESSION['__ci_vars'][$key]); |