Fix SQL query history

diff --git a/adminer/sql.inc.php b/adminer/sql.inc.php
index 6355c5c110925cc840adc558ece0180f66241a4e..43e5f8bb2c408607dd888e01a8ecf416bf637a6b 100644 (file)
--- a/adminer/sql.inc.php
+++ b/adminer/sql.inc.php
@@ -35,7 +35,10 @@ if (!$error && $_POST) {
                if ($query != "" && strlen($query) < 1e6) { // don't add big queries
                        $q = $query . (ereg(";[ \t\r\n]*\$", $query) ? "" : ";"); //! doesn't work with DELIMITER |
                        if (!$history || reset(end($history)) != $q) { // no repeated queries
+                               restart_session();
                                $history[] = array($q, time());
+                               set_session("queries", $history_all); // required because reference is unlinked by stop_session()
+                               stop_session();
                        }
                }
                $space = "(?:\\s|/\\*.*\\*/|(?:#|-- )[^\n]*\n|--\n)";