logout user: commit destroyed session

1 files changed, 3 insertions, 3 deletions

diff --git a/include/functions.php b/include/functions.php
index be0d4e262..d88e96dd6 100755
--- a/include/functions.php
+++ b/include/functions.php
@@ -811,10 +811,11 @@
 	}
 
 	function logout_user() {
-		session_destroy();
+		@session_destroy();
 		if (isset($_COOKIE[session_name()])) {
 		   setcookie(session_name(), '', time()-42000, '/');
 		}
+		session_commit();
 	}
 
 	function validate_csrf($csrf_token) {
@@ -856,8 +857,7 @@
 				}
 
 				if (!$_SESSION["uid"]) {
-					@session_destroy();
-					setcookie(session_name(), '', time()-42000, '/');
+					logout_user();
 
 					render_login_form();
 					exit;