From 5c7a08aab45a7f24086066549e1992f3dc2fdde6 Mon Sep 17 00:00:00 2001 From: Robin Appelman Date: Wed, 11 Dec 2013 12:59:48 +0100 Subject: [PATCH] check if a $_SESSION entry exists before we try to remove it --- lib/private/session/internal.php | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/lib/private/session/internal.php b/lib/private/session/internal.php index 49b52b5c796..a7c9e2fdefd 100644 --- a/lib/private/session/internal.php +++ b/lib/private/session/internal.php @@ -35,7 +35,9 @@ class Internal extends Memory { */ public function remove($key) { // also remove it from $_SESSION to prevent re-setting the old value during the merge - unset($_SESSION[$key]); + if (isset($_SESSION[$key])) { + unset($_SESSION[$key]); + } parent::remove($key); } -- 2.39.5