From 9ef76665ab454a1afba124d9c2f9a83ae5a0c5b8 Mon Sep 17 00:00:00 2001 From: jakubvrana Date: Wed, 9 Sep 2009 15:51:26 +0000 Subject: [PATCH] Save to history before session close git-svn-id: https://adminer.svn.sourceforge.net/svnroot/adminer/trunk@1076 7c3ca157-0c34-0410-bff1-cbf682f78f5c --- adminer/sql.inc.php | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/adminer/sql.inc.php b/adminer/sql.inc.php index 4e6a2292..fce587c4 100644 --- a/adminer/sql.inc.php +++ b/adminer/sql.inc.php @@ -23,13 +23,13 @@ if (!$error && $_POST) { $space = "(\\s|/\\*.*\\*/|(#|-- )[^\n]*\n|--\n)"; $alter_database = "(CREATE|DROP)$space+(DATABASE|SCHEMA)\\b~isU"; $databases = &$_SESSION["databases"][$_GET["server"]]; + if (!$fp && strlen($query) && (!$history || end($history) != $query)) { // don't add repeated + $history[] = $query; + } if (isset($databases) && !preg_match("~\\b$alter_database", $query)) { // quick check - may be inside string //! false positive with $fp session_write_close(); } - if (!$fp && strlen($query) && (!$history || end($history) != $query)) { // don't add repeated - $history[] = $query; - } $delimiter = ";"; $offset = 0; $empty = true; @@ -109,7 +109,7 @@ if (!$error && $_POST) { ?>
-

+