undefined index (innodb)

2002-08-21 13:03:22 +00:00
parent 0db2a7765a
commit a06a9eda0e
2 changed files with 3 additions and 1 deletions
--- a/tbl_properties_structure.php3
+++ b/tbl_properties_structure.php3
@@ -295,7 +295,7 @@ require ('./tbl_indexes.php3');
 //                      statistics whatever is the table type
 if ($cfg['ShowStats']) {
    $nonisam     = FALSE;
-    $is_innodb   = ($showtable['Type'] == 'InnoDB');
+    $is_innodb = (isset($showtable['Type']) && $showtable['Type'] == 'InnoDB'); 
    if (isset($showtable['Type']) && !eregi('ISAM|HEAP', $showtable['Type'])) {
        $nonisam = TRUE;
    }