diff options
author | Andrey Andreev <narf@devilix.net> | 2021-02-04 15:27:56 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-02-04 15:27:56 +0100 |
commit | 119ebee192980b151d853bdc413d14a3760462ae (patch) | |
tree | 70c9f693b2c6e06ac61e8350ccf35ccfc08c5861 | |
parent | 71765467734fbd37e6d9411f7889659c5ea47f88 (diff) | |
parent | 6c2f011e2acc8eb595385621dc16991e42bc2f0b (diff) |
[ci skip] Merge pull request #6013 from 1stwebdesigns/new_branch
Fix Flashdata time comparison for PHP 8
-rw-r--r-- | system/libraries/Session/Session.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/system/libraries/Session/Session.php b/system/libraries/Session/Session.php index ed04e95dc..79fc724a8 100644 --- a/system/libraries/Session/Session.php +++ b/system/libraries/Session/Session.php @@ -398,7 +398,7 @@ class CI_Session { } // Hacky, but 'old' will (implicitly) always be less than time() ;) // DO NOT move this above the 'new' check! - elseif ($value < $current_time) + elseif ($value === 'old' || $value < $current_time) { unset($_SESSION[$key], $_SESSION['__ci_vars'][$key]); } |