From 5c7a08aab45a7f24086066549e1992f3dc2fdde6 Mon Sep 17 00:00:00 2001
From: Robin Appelman <icewind@owncloud.com>
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 49b52b5c79..a7c9e2fdef 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);
 	}
 
-- 
GitLab