Fixed a problem with the logout when the php session has ended.

tbrehm

2008-06-08 8b5ccd302bd1497de721a25e4ce086bebf95173f

 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);
            }