diff options
Diffstat (limited to 'lib/private/session/internal.php')
-rw-r--r-- | lib/private/session/internal.php | 11 |
1 files changed, 10 insertions, 1 deletions
diff --git a/lib/private/session/internal.php b/lib/private/session/internal.php index 60aecccc8aa..49b52b5c796 100644 --- a/lib/private/session/internal.php +++ b/lib/private/session/internal.php @@ -26,10 +26,19 @@ class Internal extends Memory { } public function __destruct() { - $_SESSION = $this->data; + $_SESSION = array_merge($_SESSION, $this->data); session_write_close(); } + /** + * @param string $key + */ + public function remove($key) { + // also remove it from $_SESSION to prevent re-setting the old value during the merge + unset($_SESSION[$key]); + parent::remove($key); + } + public function clear() { session_unset(); @session_regenerate_id(true); |