protected function checkFavoriteTable($current_table)
{
// ensure $_SESSION['tmpval']['favorite_tables'] is initialized
RecentFavoriteTable::getInstance('favorite');
foreach ($_SESSION['tmpval']['favorite_tables'][$GLOBALS['server']] as $value) {
if ($value['db'] == $this->db && $value['table'] == $current_table) {
return true;
}
}
return false;
}