From f779576dea2b5e092c17db7cccabfa25f8c9a68c Mon Sep 17 00:00:00 2001
From: xzilla <xzilla>
Date: Thu, 15 Feb 2007 18:30:23 +0000
Subject: [PATCH] reload browser on function drop

---
 functions.php | 11 +++++++----
 1 file changed, 7 insertions(+), 4 deletions(-)

diff --git a/functions.php b/functions.php
index 9c805a18..99c3178f 100644
--- 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']);
+                        }
 		}
 		
 	}
-- 
2.39.5