From de451010b1b11a53bb1de4de4ea70f5783ca2e43 Mon Sep 17 00:00:00 2001
From: Jakub Vrana <jakub@vrana.cz>
Date: Fri, 7 Sep 2012 11:54:02 -0700
Subject: [PATCH] Fix SQL query history

---
 adminer/sql.inc.php | 3 +++
 1 file changed, 3 insertions(+)

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)";