Restore session id change on logout (#399)

2016-04-27 18:12:48 +00:00
parent a8ac90c466
commit 73ea0c4b1e
1 changed files with 1 additions and 0 deletions
--- a/include/functions_config.inc.php
+++ b/include/functions_config.inc.php
@ -388,6 +388,7 @@ function serendipity_session_destroy() {
    $no_smarty = $_SESSION['no_smarty'];
    @session_destroy();
    session_start();
+    session_regenerate_id();

    $_SESSION['SERVER_GENERATED_SID'] = true;
    $_SESSION['no_smarty']            = $no_smarty;