must reopen the session before destorying it

2018-03-29 19:19:08 -04:00 · 2018-03-29 19:19:08 -04:00 · df3a5b7d58
parent a5b77a59d3
commit df3a5b7d58
1 changed files with 1 additions and 0 deletions
--- a/web/includes/functions.php
+++ b/web/includes/functions.php
@ -73,6 +73,7 @@ function userLogin( $username, $password='', $passwordHashed=false ) {
 function userLogout() {
  global $user;
  Info( 'User "'.$user['Username'].'" logged out' );
+  session_start();
  unset( $_SESSION['user'] );
  unset( $user );