From: Andrew Dolgov <fox@madoka.volgo-balt.ru>
Date: Wed, 3 Apr 2013 15:16:59 +0000 (+0400)
Subject: deinitialize session in login_sequence() instead of sessions.php
X-Git-Tag: 1.7.7~6
X-Git-Url: https://git.wh0rd.org/?a=commitdiff_plain;h=4ad99f23ff7fcc9bdbd7428b9bb1ffaad31481e5;p=tt-rss.git

deinitialize session in login_sequence() instead of sessions.php
---

diff --git a/include/functions.php b/include/functions.php
index c05ee0a4..05f184ea 100644
--- a/include/functions.php
+++ b/include/functions.php
@@ -754,6 +754,11 @@
 
 				if (!$_SESSION["uid"]) render_login_form($link);
 
+				@session_destroy();
+				setcookie(session_name(), '', time()-42000, '/');
+
+				exit;
+
 			} else {
 				/* bump login timestamp */
 				db_query($link, "UPDATE ttrss_users SET last_login = NOW() WHERE id = " .