From 455cdb396272bf405a9b7603c237fcc0b2769dce Mon Sep 17 00:00:00 2001 From: jakubvrana Date: Thu, 20 Mar 2008 15:09:22 +0000 Subject: [PATCH] Unset unnecessary token git-svn-id: https://adminer.svn.sourceforge.net/svnroot/adminer/trunk@379 7c3ca157-0c34-0410-bff1-cbf682f78f5c --- index.php | 1 + 1 file changed, 1 insertion(+) 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 '

' . lang('Alter database') . "

\n"; echo '

' . lang('Database schema') . "

\n";