if (!isset($_SESSION['SysPrefs']->prefs)) { // cached preferences
$_SESSION['SysPrefs'] = new sys_prefs();
if (!isset($_SESSION['SysPrefs']->prefs)) { // cached preferences
$_SESSION['SysPrefs'] = new sys_prefs();
$sql = "SELECT name, value FROM {$tbpref}sys_prefs";
$result = @db_query($sql); // supress errors before 2.3 db structure upgrade
$sql = "SELECT name, value FROM {$tbpref}sys_prefs";
$result = @db_query($sql); // supress errors before 2.3 db structure upgrade