static void
destroy_plugin (ply_boot_splash_plugin_t *plugin)
{
if (plugin == NULL)
return;
if (plugin->loop != NULL)
{
stop_animation (plugin);
ply_event_loop_stop_watching_for_exit (plugin->loop, (ply_event_loop_exit_handler_t)
detach_from_event_loop,
plugin);
detach_from_event_loop (plugin);
}
ply_image_free (plugin->box_image);
ply_image_free (plugin->lock_image);
if (plugin->corner_image != NULL)
ply_image_free (plugin->corner_image);
free_views (plugin);
free (plugin);
}
static void
destroy_plugin (ply_boot_splash_plugin_t *plugin)
{
ply_trace ("destroying plugin");
if (plugin == NULL)
return;
/* It doesn't ever make sense to keep this plugin on screen
* after exit
*/
hide_splash_screen (plugin, plugin->loop);
free_views (plugin);
if (plugin->message != NULL)
free (plugin->message);
free (plugin);
}
