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 4b747c540dddc449b850da3e3353fe86e0e4e489..549b4f712cd0dc86e3054585cdac1b1b5f35d78f 100644 (file)
--- 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";