Don't to set the cookie it wasn't needed.

diff --git a/lib/base.php b/lib/base.php
index 2141695a93d6f1ff0eea68440270619fce3ae525..28cc24f9287b33b66a289c70ad84338d92b3f2c8 100644 (file)
--- a/lib/base.php
+++ b/lib/base.php
@@ -745,7 +745,7 @@ class OC {
                                        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);
-                                       } else {
+                                       } 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);
                                        }