logout user: commit destroyed session

diff --git a/include/functions.php b/include/functions.php
index be0d4e262151ebdec9b005844ed7ab6ac3e90a8c..d88e96dd600ce75b3f32a6fcbb4d4099cd05ce2d 100755 (executable)
--- 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;