normal/misc: Close device on all pathes.

Found by: Coverity scan.

diff --git a/grub-core/normal/misc.c b/grub-core/normal/misc.c
index 34d505edada020f291545d54b2453e088cf49282..38f91b9b98375a1a58df8f4af9466abefe86573f 100644 (file)
--- a/grub-core/normal/misc.c
+++ b/grub-core/normal/misc.c
@@ -184,10 +184,11 @@ grub_normal_print_device_info (const char *name)
                     /* TRANSLATORS: Replace dot with appropriate decimal separator for
                        your language.  */
                     (grub_disk_get_size (dev->disk) & 1) ? _(".5") : "");
-
-      grub_device_close (dev);
     }
 
+  if (dev)
+    grub_device_close (dev);
+
   grub_xputs ("\n");
   return grub_errno;
 }