]> git.joonet.de Git - adminer.git/commitdiff
Set parameters for session only if not started
authorjakubvrana <jakubvrana@7c3ca157-0c34-0410-bff1-cbf682f78f5c>
Thu, 22 May 2008 10:46:31 +0000 (10:46 +0000)
committerjakubvrana <jakubvrana@7c3ca157-0c34-0410-bff1-cbf682f78f5c>
Thu, 22 May 2008 10:46:31 +0000 (10:46 +0000)
git-svn-id: https://adminer.svn.sourceforge.net/svnroot/adminer/trunk@409 7c3ca157-0c34-0410-bff1-cbf682f78f5c

design.inc.php
index.php

index 436336b131bdd9e32d0c1f94d4b2e1f2db75fc26..228be6b8776bac77107b8fe20942239da3c45fc1 100644 (file)
@@ -9,7 +9,7 @@ function page_header($title, $error = "", $breadcrumb = array(), $title2 = "") {
 <meta http-equiv="Content-Type" content="text/html; charset=utf-8" />
 <meta http-equiv="Content-Script-Type" content="text/javascript" />
 <meta name="robots" content="noindex" />
-<title><?php echo $title . (strlen($title2) ? ": " . htmlspecialchars($title2) : "") . " - " . lang('phpMinAdmin') . " 1.5.1-dev"; ?></title>
+<title><?php echo $title . (strlen($title2) ? ": " . htmlspecialchars($title2) : "") . " - " . lang('phpMinAdmin') . " 1.6.1"; ?></title>
 <link rel="shortcut icon" type="image/x-icon" href="favicon.ico" />
 <link rel="stylesheet" type="text/css" href="default.css" /><?php // Ondrej Valka, http://valka.info ?>
 <?php if ($_COOKIE["highlight"] == "jush") { ?>
index 230ef85c22ba27f760060974e7fd13ba97ba638d..1a4012d7e06e4bab06c6c0376cbda6d58ad26dcc 100644 (file)
--- 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";