From c53238a89e0ca9a632da3b5c7da5063465679d66 Mon Sep 17 00:00:00 2001
From: Sebastian Mendel <cybot_tm@users.sourceforge.net>
Date: Thu, 8 May 2008 06:02:08 +0000
Subject: [PATCH] no need to fetch tables twice

---
 libraries/db_info.inc.php | 6 +-----
 1 file changed, 1 insertion(+), 5 deletions(-)

diff --git a/libraries/db_info.inc.php b/libraries/db_info.inc.php
index d0861f57a..00615c93f 100644
--- a/libraries/db_info.inc.php
+++ b/libraries/db_info.inc.php
@@ -202,8 +202,6 @@ if (! isset($sot_ready)) {
     } else {
         // all tables in db
         // - get the total number of tables
-        $tables = PMA_DBI_get_tables($db);
-        $total_num_tables = count($tables);
         if (isset($sub_part) && $sub_part == '_export') {
             // (don't fetch only a subset if we are coming from db_export.php,
             // because I think it's too risky to display only a subset of the
@@ -230,9 +228,7 @@ if (! isset($sot_ready)) {
  * @global int count of tables in db
  */
 $num_tables = count($tables);
-if (! isset($total_num_tables)) {
-    $total_num_tables = $num_tables;
-}
+$total_num_tables = $num_tables;
 
 /**
  * cleanup