reload browser on function drop

diff --git a/functions.php b/functions.php
index 9c805a18f99b5c54ed6d80007e61a354fea2d1bd..99c3178fac8d9668c35b7addecaca17c875ef2fc 100644 (file)
--- a/functions.php
+++ b/functions.php
@@ -3,7 +3,7 @@
        /**
         * Manage functions in a database
         *
-        * $Id: functions.php,v 1.58 2007/01/02 17:24:44 soranzo Exp $
+        * $Id: functions.php,v 1.59 2007/02/15 18:30:23 xzilla Exp $
         */
 
        // Include application functions
@@ -269,7 +269,7 @@
         */
        function doDrop($confirm) {
                global $data, $misc;
-               global $PHP_SELF, $lang;
+               global $PHP_SELF, $lang, $_reload_browser;
 
                if ($confirm) {
                        $misc->printTrail('schema');
@@ -292,10 +292,13 @@
                }
                else {
                        $status = $data->dropFunction($_POST['function_oid'], isset($_POST['cascade']));
-                       if ($status == 0)
+                       if ($status == 0) {
+                               $_reload_browser = true;
                                doDefault($lang['strfunctiondropped']);
-                       else
+                        }
+                       else {
                                doDefault($lang['strfunctiondroppedbad']);
+                        }
                }
                
        }