commands/parttool: Add missing device close.

Found by: Coverity scan.

diff --git a/grub-core/commands/parttool.c b/grub-core/commands/parttool.c
index a47ff0776c177b28ecea09c9f516093c547a0f69..d907694dd1364642a9659f5c88b40bddf830763d 100644 (file)
--- a/grub-core/commands/parttool.c
+++ b/grub-core/commands/parttool.c
@@ -243,11 +243,19 @@ grub_cmd_parttool (grub_command_t cmd __attribute__ ((unused)),
   }
 
   if (argc == 1)
-    return show_help (dev);
+    {
+      err = show_help (dev);
+      grub_device_close (dev);
+      return err;
+    }
 
   for (i = 1; i < argc; i++)
     if (grub_strcmp (args[i], "help") == 0)
-      return show_help (dev);
+      {
+       err = show_help (dev);
+       grub_device_close (dev);
+       return err;
+      }
 
   parsed = (int *) grub_zalloc (argc * sizeof (int));