]> git.joonet.de Git - adminer.git/commitdiff
Session can be started also by session_start()
authorJakub Vrana <jakub@vrana.cz>
Sat, 9 Oct 2010 13:39:57 +0000 (15:39 +0200)
committerJakub Vrana <jakub@vrana.cz>
Wed, 13 Oct 2010 19:13:21 +0000 (21:13 +0200)
adminer/include/bootstrap.inc.php

index bbf9b90faacf4d9c4ec184e95c406180665f38d1..efec04637a517b231befd7842feae65f8a7133a7 100644 (file)
@@ -27,7 +27,7 @@ if (!isset($_SERVER["REQUEST_URI"])) {
 $HTTPS = $_SERVER["HTTPS"] && strcasecmp($_SERVER["HTTPS"], "off");
 
 @ini_set("session.use_trans_sid", false); // protect links in export, @ - may be disabled
-if (!ini_bool("session.auto_start")) {
+if (!defined("SID")) {
        session_name("adminer_sid"); // use specific session name to get own namespace
        $params = array(0, preg_replace('~\\?.*~', '', $_SERVER["REQUEST_URI"]), "", $HTTPS);
        if (version_compare(PHP_VERSION, '5.2.0') >= 0) {