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)