From c49331e59450f7fe32c1c6d941643feb547582b9 Mon Sep 17 00:00:00 2001
From: jakubvrana <jakubvrana@7c3ca157-0c34-0410-bff1-cbf682f78f5c>
Date: Thu, 2 Oct 2008 15:25:12 +0000
Subject: [PATCH] Add manually set database to session

git-svn-id: https://adminer.svn.sourceforge.net/svnroot/adminer/trunk@513 7c3ca157-0c34-0410-bff1-cbf682f78f5c
---
 design.inc.php | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

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) {