diff options
author | M.Gergo | 2019-01-20 11:48:48 +0100 |
---|---|---|
committer | M.Gergo | 2019-01-20 11:48:48 +0100 |
commit | f70027ffbedce10f412868a7bf9b0b67b113f1b1 (patch) | |
tree | fbcc48049f1e66fe3ec66a0f3d8eee47bb400cdb /mayor-orig/www/policy/public/session/logout-pre.php | |
parent | e6988247360fa98b85915a38803d018dd353df00 (diff) | |
download | mayor-f70027ffbedce10f412868a7bf9b0b67b113f1b1.tar.gz mayor-f70027ffbedce10f412868a7bf9b0b67b113f1b1.zip |
Rev: 4423
Diffstat (limited to 'mayor-orig/www/policy/public/session/logout-pre.php')
-rw-r--r-- | mayor-orig/www/policy/public/session/logout-pre.php | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/mayor-orig/www/policy/public/session/logout-pre.php b/mayor-orig/www/policy/public/session/logout-pre.php index ac344fee..013be18c 100644 --- a/mayor-orig/www/policy/public/session/logout-pre.php +++ b/mayor-orig/www/policy/public/session/logout-pre.php @@ -21,6 +21,7 @@ session_destroy(); session_write_close(); setcookie(session_name(),'',0,'/'); + setcookie($sessionID,'',0,'/'); session_regenerate_id(true); header('Location: index.php'); } |