From 5bc9a923f0ed3513659653bbc9da0e64daf2b4cf Mon Sep 17 00:00:00 2001
From: chriskl <chriskl>
Date: Fri, 4 Mar 2005 08:53:56 +0000
Subject: [PATCH] reload browser after executing arbitrary sql

---
 HISTORY | 1 +
 sql.php | 5 ++++-
 2 files changed, 5 insertions(+), 1 deletion(-)

diff --git a/HISTORY b/HISTORY
index ecb1d747..2529e759 100644
--- a/HISTORY
+++ b/HISTORY
@@ -21,6 +21,7 @@ Bugs
 * Allow Multiline character and character varying editing and inserting
 * Add automatic browser language selection for all languages
 * Fix using schema enabled dump on non-schema enabled backend
+* Reload browser after executing arbitrary SQL
 
 Translations
 * Japanese from Tadashi Jokagi
diff --git a/sql.php b/sql.php
index 30290860..cfd70407 100644
--- a/sql.php
+++ b/sql.php
@@ -6,7 +6,7 @@
 	 * how many SQL statements have been strung together with semi-colons
 	 * @param $query The SQL query string to execute
 	 *
-	 * $Id: sql.php,v 1.28 2005/03/04 02:27:38 chriskl Exp $
+	 * $Id: sql.php,v 1.29 2005/03/04 08:53:56 chriskl Exp $
 	 */
 
 	// Prevent timeouts on large exports (non-safe mode only)
@@ -72,6 +72,9 @@
 	}
 	else $duration = null;
 
+	// Reload the browser as we may have made schema changes
+	$_reload_browser = true;
+
 	// $rs will only be an object if there is no error
 	if (is_object($rs)) {
 		// Now, depending on what happened do various things
-- 
2.39.5