_('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(); }