From 1b1b3cdb676a70767764ba46c0dc5a2cb0216bf6 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Michal=20=C4=8Ciha=C5=99?= Date: Thu, 26 Mar 2015 22:33:27 +0100 Subject: [PATCH] Disable setting of session cookies for further session_start() calls. MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit See #1544 for discussion. Signed-off-by: Michal Čihař --- libraries/session.inc.php | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/libraries/session.inc.php b/libraries/session.inc.php index a0b58a532f..49a5d51a06 100644 --- a/libraries/session.inc.php +++ b/libraries/session.inc.php @@ -101,6 +101,11 @@ if (! isset($_COOKIE[$session_name])) { session_start(); } +/** + * Disable setting of session cookies for further session_start() calls. + */ +@ini_set('session.use_cookies', 'true'); + /** * Token which is used for authenticating access queries. * (we use "space PMA_token space" to prevent overwriting)