static void do_shutdown(void)
{
static int done;
if (!done) {
done = 1;
module_shutdown();
}
}
//~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
//plugin_reconfigure
//~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
static void _restart_specific_systems(void)
{
//Shutdown specific systems
module_shutdown();
variables_shutdown();
control_shutdown();
agent_shutdown();
style_shutdown();
plugin_controls_shutdown();
plugin_agents_shutdown();
//Restart agent and control masters
style_startup();
control_startup();
agent_startup();
plugin_controls_startup();
plugin_agents_startup();
module_startup();
variables_startup();
}
//~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
//plugin_shutdown
//~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
void plugin_shutdown(bool save)
{
message_interpret(globalmodule.actions[MODULE_ACTION_ONUNLOAD], false, &globalmodule);
//Save config settings
if (save) config_save(config_path_mainscript);
//Shutdown the message & dialog system
message_shutdown();
dialog_shutdown();
//Shutdown agents and controls
variables_shutdown();
module_shutdown();
control_shutdown();
agent_shutdown();
//Shutdown the windowing system
window_shutdown();
//Shutdown the style system.
style_shutdown();
//Shutdown control types
plugin_controls_shutdown();
//Shutdown agents
plugin_agents_shutdown();
tooltip_shutdown();
//Shutdown the configuration system
config_shutdown();
menu_shutdown();
}
