From 8339b14da3744eedcefec72b92caa2e5e9940e22 Mon Sep 17 00:00:00 2001 From: Jakub Vrana Date: Wed, 16 May 2012 07:44:44 -0700 Subject: [PATCH] Comment --- adminer/script.inc.php | 1 + 1 file changed, 1 insertion(+) diff --git a/adminer/script.inc.php b/adminer/script.inc.php index d2ab833a..7a20ba07 100644 --- a/adminer/script.inc.php +++ b/adminer/script.inc.php @@ -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)) {