diff options
| author | Robin Appelman <icewind@owncloud.com> | 2013-12-11 15:59:48 +0400 |
|---|---|---|
| committer | Robin Appelman <icewind@owncloud.com> | 2013-12-11 15:59:48 +0400 |
| commit | 5c7a08aab45a7f24086066549e1992f3dc2fdde6 (patch) | |
| tree | dd02822533f37046089a5c7fa47219452607292b /lib/private/session | |
| parent | a36bf5c2b5430eb4bcbabead92c9d2c1a669b035 (diff) | |
check if a $_SESSION entry exists before we try to remove it
Diffstat (limited to 'lib/private/session')
| -rw-r--r-- | lib/private/session/internal.php | 4 |
1 files changed, 3 insertions, 1 deletions
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); } |