- while($pref = db_fetch_assoc($result)) {
- $_SESSION['SysPrefs']->prefs[$pref['name']] = $pref['value'];
- }
-
- $SysPrefs = &$_SESSION['SysPrefs'];
-
- // update current db status for info in log file
- $SysPrefs->db_ok = $SysPrefs->prefs['version_id'] == $db_version;
- }