Don't destroy NULL view

diff --git a/gfxmenu/view.c b/gfxmenu/view.c
index 7d9bb1cd074886cef6d74b8c4394e582d53d835b..e2348b6ef51a7e4ee8b07a8a7c763bc17e8af8c8 100644 (file)
--- a/gfxmenu/view.c
+++ b/gfxmenu/view.c
@@ -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);