From: jakubvrana <jakubvrana@7c3ca157-0c34-0410-bff1-cbf682f78f5c>
Date: Thu, 20 Mar 2008 15:09:22 +0000 (+0000)
Subject: Unset unnecessary token
X-Git-Tag: v3.0.0~1135
X-Git-Url: https://git.joonet.de/?a=commitdiff_plain;h=455cdb396272bf405a9b7603c237fcc0b2769dce;p=adminer.git

Unset unnecessary token

git-svn-id: https://adminer.svn.sourceforge.net/svnroot/adminer/trunk@379 7c3ca157-0c34-0410-bff1-cbf682f78f5c
---

diff --git a/index.php b/index.php
index 4b747c54..549b4f71 100644
--- a/index.php
+++ b/index.php
@@ -95,6 +95,7 @@ if (isset($_GET["dump"])) {
 		} elseif (isset($_GET["select"])) {
 			include "./select.inc.php";
 		} else {
+			unset($_SESSION["tokens"][$_GET["server"]][$_SERVER["REQUEST_URI"]]);
 			page_header(lang('Database') . ": " . htmlspecialchars($_GET["db"]), false);
 			echo '<p><a href="' . htmlspecialchars($SELF) . 'database=">' . lang('Alter database') . "</a></p>\n";
 			echo '<p><a href="' . htmlspecialchars($SELF) . 'schema=">' . lang('Database schema') . "</a></p>\n";