From: jakubvrana Date: Thu, 2 Oct 2008 15:25:12 +0000 (+0000) Subject: Add manually set database to session X-Git-Tag: v3.0.0~1005 X-Git-Url: https://git.joonet.de/?a=commitdiff_plain;h=c49331e59450f7fe32c1c6d941643feb547582b9;p=adminer.git Add manually set database to session git-svn-id: https://adminer.svn.sourceforge.net/svnroot/adminer/trunk@513 7c3ca157-0c34-0410-bff1-cbf682f78f5c --- diff --git a/design.inc.php b/design.inc.php index 821e597e..12f3ba4b 100644 --- a/design.inc.php +++ b/design.inc.php @@ -49,7 +49,11 @@ function toggle(id) { if (!$_SESSION["tokens"][$_GET["server"]]["?logout"]) { $_SESSION["tokens"][$_GET["server"]]["?logout"] = rand(1, 1e6); } - if (isset($_SESSION["databases"][$_GET["server"]]) && !isset($_GET["sql"])) { + $databases = &$_SESSION["databases"][$_GET["server"]]; + if (strlen($_GET["db"]) && $databases && !in_array($_GET["db"], $databases, true)) { + $databases = null; + } + if (isset($databases) && !isset($_GET["sql"])) { session_write_close(); } if ($error) {