Rewriting of the config files is optional during update now.

tbrehm

2008-05-23 00d96ba2cd3f93272474e51a2c7f5b1a35616ec3

 install/lib/mysql.lib.php

@@ -356,6 +356,7 @@
                $database_name = $this->dbName;
            }
            $result = mysql_query("SHOW TABLES FROM `$database_name`");
            $tb_names = array();
            for ($i = 0; $i < mysql_num_rows($result); $i++) {
                $tb_names[$i] = mysql_tablename($result, $i);
            }