Don't destroy NULL view

This commit is contained in:
Vladimir 'phcoder' Serbinenko 2009-12-27 22:24:46 +01:00
parent 9f293ab0df
commit a2b4c09b1c

View file

@ -136,6 +136,8 @@ grub_gfxmenu_view_new (const char *theme_path, grub_gfxmenu_model_t model)
void
grub_gfxmenu_view_destroy (grub_gfxmenu_view_t view)
{
if (!view)
return;
grub_video_bitmap_destroy (view->desktop_image);
if (view->terminal_box)
view->terminal_box->destroy (view->terminal_box);