Fix SQL query history

kahi · Sep 7, 2012 · de45101 · de45101
1 parent 8d3afc0
commit de45101
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/adminer/sql.inc.php b/adminer/sql.inc.php
@@ -35,7 +35,10 @@
 		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)";