_('Configuration cache stale.'), 'body'=>_('Your configuration has been automatically refreshed.'), 'type'=>'info','special'=>true)); $config_file = CONFDIR.'config.php'; $config = check_config($config_file); if (! $config) { debug_dump_backtrace('config is empty?', 1); } } else { # Sanity check, specially when upgrading from a previous release. if (isset($_SESSION['cache'])) { foreach (array_keys($_SESSION['cache']) as $id) { if (isset($_SESSION['cache'][$id]['tree']['null']) && ! is_object($_SESSION['cache'][$id]['tree']['null'])) { unset($_SESSION['cache'][$id]); } } } } } # If we came via index.php, then set our $config. if (! isset($_SESSION[APPCONFIG]) && isset($config)) { $_SESSION[APPCONFIG] = $config; } # Restore our sysmsg's if there were any. if ($sysmsg) { if (! isset($_SESSION['sysmsg']) || ! is_array($_SESSION['sysmsg'])) { $_SESSION['sysmsg'] = array(); } $_SESSION['sysmsg'] = array_merge($_SESSION['sysmsg'],$sysmsg); } } /** * Stops the current session. */ function app_session_close() { @session_write_close(); }