]> git.joonet.de Git - adminer.git/commitdiff
Comment
authorJakub Vrana <jakub@vrana.cz>
Wed, 16 May 2012 14:44:44 +0000 (07:44 -0700)
committerJakub Vrana <jakub@vrana.cz>
Wed, 16 May 2012 23:42:16 +0000 (16:42 -0700)
adminer/script.inc.php

index d2ab833acd2538091fb8168da27f974291dac673..7a20ba07d51af9de6504700dbec206eb08c6e692 100644 (file)
@@ -18,6 +18,7 @@ if ($_GET["script"] == "db") {
                                                $table_status["Engine"] == "table"      // PostgreSQL table reltype
                                        ) ? "~ $val" : $val));
                                        if (isset($sums[$key])) {
+                                               // ignore innodb_file_per_table because it is not active for tables created before it was enabled
                                                $sums[$key] += ($table_status["Engine"] != "InnoDB" || $key != "Data_free" ? $table_status[$key] : 0);
                                        }
                                } elseif (array_key_exists($key, $table_status)) {