]> git.joonet.de Git - adminer.git/commitdiff
Add manually set database to session
authorjakubvrana <jakubvrana@7c3ca157-0c34-0410-bff1-cbf682f78f5c>
Thu, 2 Oct 2008 15:25:12 +0000 (15:25 +0000)
committerjakubvrana <jakubvrana@7c3ca157-0c34-0410-bff1-cbf682f78f5c>
Thu, 2 Oct 2008 15:25:12 +0000 (15:25 +0000)
git-svn-id: https://adminer.svn.sourceforge.net/svnroot/adminer/trunk@513 7c3ca157-0c34-0410-bff1-cbf682f78f5c

design.inc.php

index 821e597ee9122ffb956257e05680c8f92f8bd968..12f3ba4b9e1bcb7ff7e38e971276d4471cde4f3f 100644 (file)
@@ -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) {