From: Jakub Vrana <jakub@vrana.cz>
Date: Fri, 7 Sep 2012 18:54:02 +0000 (-0700)
Subject: Fix SQL query history
X-Git-Tag: v3.6.0~15
X-Git-Url: https://git.joonet.de/?a=commitdiff_plain;h=de451010b1b11a53bb1de4de4ea70f5783ca2e43;p=adminer.git

Fix SQL query history
---

diff --git a/adminer/sql.inc.php b/adminer/sql.inc.php
index 6355c5c1..43e5f8bb 100644
--- 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)";