]> git.ipfire.org Git - thirdparty/grub.git/commitdiff
Don't destroy NULL view
authorVladimir 'phcoder' Serbinenko <phcoder@gmail.com>
Sun, 27 Dec 2009 21:24:46 +0000 (22:24 +0100)
committerVladimir 'phcoder' Serbinenko <phcoder@gmail.com>
Sun, 27 Dec 2009 21:24:46 +0000 (22:24 +0100)
gfxmenu/view.c

index 7d9bb1cd074886cef6d74b8c4394e582d53d835b..e2348b6ef51a7e4ee8b07a8a7c763bc17e8af8c8 100644 (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);