reload browser after executing arbitrary sql

diff --git a/HISTORY b/HISTORY
index ecb1d74744486a44e67315c23031b21ebe57037a..2529e759ff94bd465cb9dea884e1bbd52f24b3e9 100644 (file)
--- 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 30290860097a7111d59eb94b95bb610f36720825..cfd7040777da01db369f9f0a1fbf6c4a20ec1faa 100644 (file)
--- 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