Restore session id change on logout (#399)

s9y · Apr 27, 2016 · 73ea0c4 · 73ea0c4
1 parent a8ac90c
commit 73ea0c4
Showing 1 changed file with 1 addition and 0 deletions.
diff --git 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;