From 93fc603b0fb7b38eb8ab3da08793e534c90b72c4 Mon Sep 17 00:00:00 2001
From: Marc Delisle <marc@infomarc.info>
Date: Sat, 18 Aug 2007 12:46:30 +0000
Subject: [PATCH] bug #1771109 Page select drop-down not updated after deleting
 a database

---
 libraries/mult_submits.inc.php | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/libraries/mult_submits.inc.php b/libraries/mult_submits.inc.php
index 4a6ae6616..fb9cb85a2 100644
--- a/libraries/mult_submits.inc.php
+++ b/libraries/mult_submits.inc.php
@@ -298,6 +298,8 @@ elseif ($mult_btn == $strYes) {
         PMA_DBI_free_result($result);
     }
 
+    $rebuild_database_list = false;
+
     for ($i = 0; $i < $selected_cnt; $i++) {
         switch ($query_type) {
             case 'row_delete':
@@ -311,6 +313,7 @@ elseif ($mult_btn == $strYes) {
                            . PMA_backquote(urldecode($selected[$i]));
                 $reload    = 1;
                 $run_parts = TRUE;
+                $rebuild_database_list = true;
                 break;
 
             case 'drop_tbl':
@@ -423,5 +426,10 @@ elseif ($mult_btn == $strYes) {
             unset($sql_query_views);
         }
     }
+    if ($rebuild_database_list) {
+        // avoid a problem with the database list navigator
+        // when dropping a db from server_databases
+        $GLOBALS['PMA_List_Database']->build();
+    }
 }
 ?>