From 8b6bb0a4269fee94c0e0842e6a001d70d4af25be Mon Sep 17 00:00:00 2001
From: Christoph Wurst <ChristophWurst@users.noreply.github.com>
Date: Thu, 12 May 2016 12:09:13 +0200
Subject: [PATCH] Log user out correctly if max session lifetime is reached
 (#24552)

---
 lib/base.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lib/base.php b/lib/base.php
index 16ce0973a9..cc0429af11 100644
--- a/lib/base.php
+++ b/lib/base.php
@@ -438,7 +438,7 @@ class OC {
 			if (isset($_COOKIE[session_name()])) {
 				setcookie(session_name(), null, -1, self::$WEBROOT ? : '/');
 			}
-			$session->clear();
+			\OC::$server->getUserSession()->logout();
 		}
 
 		$session->set('LAST_ACTIVITY', time());