-function refresh_sys_prefs()
-{
- global $SysPrefs;
-
-// flush_dir(user_js_cache()); // clear cache
- unset($_SESSION['SysPrefs']);
- $_SESSION['SysPrefs'] = new sys_prefs();
- $SysPrefs = &$_SESSION['SysPrefs'];
- $SysPrefs->refresh_company_prefs();
-}
-