From a2b4c09b1c48c5e3b8958291a06c2ee651b5a57d Mon Sep 17 00:00:00 2001
From: Vladimir 'phcoder' Serbinenko <phcoder@gmail.com>
Date: Sun, 27 Dec 2009 22:24:46 +0100
Subject: [PATCH] Don't destroy NULL view

---
 gfxmenu/view.c | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/gfxmenu/view.c b/gfxmenu/view.c
index 7d9bb1cd0..e2348b6ef 100644
--- 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);