check if a $_SESSION entry exists before we try to remove it

diff --git a/lib/private/session/internal.php b/lib/private/session/internal.php
index 49b52b5c796ec85b9ed93a4e9c4d128fa9f2a0cf..a7c9e2fdefd36ed8620e403b85d1a59dcab73187 100644 (file)
--- 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);
        }