I think this bug has already been fixed in the current cvs version but in a different way: a "DISTINCT" clause has been added in the sql query used to get the table list.
vs.
$dblist = array_unique($true_dblist);
And this is defenitly also the most correct way to solve the problem - as array_unique first was introduced in PHP 4.0.0 and by the way was broken
in
PHP 4.0.4
Sorry - that was not clear - the DISTINCT solution is more correct - as DISTINCT has been in MySQL for ages :-)
-- Kind regards Geert Lund