diff --git a/design.inc.php b/design.inc.php
index 436336b1..228be6b8 100644
--- a/design.inc.php
+++ b/design.inc.php
@@ -9,7 +9,7 @@ function page_header($title, $error = "", $breadcrumb = array(), $title2 = "") {
-
+
diff --git a/index.php b/index.php
index 230ef85c..1a4012d7 100644
--- a/index.php
+++ b/index.php
@@ -7,9 +7,12 @@
*/
error_reporting(E_ALL & ~E_NOTICE);
-session_name("phpMinAdmin_SID");
-session_set_cookie_params(ini_get("session.cookie_lifetime"), preg_replace('~\\?.*~', '', $_SERVER["REQUEST_URI"]));
-session_start();
+
+if (!ini_get("session.auto_start")) {
+ session_name("phpMinAdmin_SID");
+ session_set_cookie_params(ini_get("session.cookie_lifetime"), preg_replace('~\\?.*~', '', $_SERVER["REQUEST_URI"]));
+ session_start();
+}
$SELF = preg_replace('~^[^?]*/([^?]*).*~', '\\1?', $_SERVER["REQUEST_URI"]) . (strlen($_GET["server"]) ? 'server=' . urlencode($_GET["server"]) . '&' : '') . (strlen($_GET["db"]) ? 'db=' . urlencode($_GET["db"]) . '&' : '');
$TOKENS = &$_SESSION["tokens"][$_GET["server"]][$_SERVER["REQUEST_URI"]];
include "./functions.inc.php";