From d1106f17491e3a0da623f9b325e2eaf3aa4af491 Mon Sep 17 00:00:00 2001 From: josh4trunks Date: Sun, 23 Mar 2014 21:39:29 -0700 Subject: [PATCH] cookie would be useless if value is not set --- lib/base.php | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/lib/base.php b/lib/base.php index 28cc24f928..e86894ef29 100644 --- a/lib/base.php +++ b/lib/base.php @@ -744,7 +744,7 @@ class OC { $cookie_path = OC::$WEBROOT ? : '/'; if (isset($_COOKIE['oc_ignore_php_auth_user'])) { // Ignore HTTP Authentication for 5 more mintues. - setcookie('oc_ignore_php_auth_user', '', time() + 300, $cookie_path); + setcookie('oc_ignore_php_auth_user', $_SERVER['PHP_AUTH_USER'], time() + 300, $cookie_path); } elseif ($_SERVER['PHP_AUTH_USER'] === self::$session->get('loginname')) { // Ignore HTTP Aunthentication to allow a different user to log in. setcookie('oc_ignore_php_auth_user', $_SERVER['PHP_AUTH_USER'], 0, $cookie_path);