apply @LukasReschke's cookie changes, hopefully finally fix #854

diff --git a/lib/user/session.php b/lib/user/session.php
index cf93d9593afa8f76e4f55a5b6aceb149f6653934..e98fb5ee4d5e0a05c83a131981833ac4b343f7d4 100644 (file)
--- a/lib/user/session.php
+++ b/lib/user/session.php
@@ -166,8 +166,8 @@ class Session implements Emitter {
                unset($_COOKIE["oc_username"]); //TODO: DI
                unset($_COOKIE["oc_token"]);
                unset($_COOKIE["oc_remember_login"]);
-               setcookie("oc_username", null, -1);
-               setcookie("oc_token", null, -1);
-               setcookie("oc_remember_login", null, -1);
+               setcookie('oc_username', '', time()-3600);
+               setcookie('oc_token', '', time()-3600);
+               setcookie('oc_remember_login', '', time()-3600);
        }
 }