mirror of
https://git.savannah.gnu.org/git/grub.git
synced 2026-10-22 15:22:39 +00:00
commands/parttool: Add missing device close.
Found by: Coverity scan.
This commit is contained in:
1 parent
bd50aa323d
commit
4947f11b09
1 file changed
+10
-2
@@ -243,11 +243,19 @@ grub_cmd_parttool (grub_command_t cmd __attribute__ ((unused)),
|
|||||||
}
|
}
|
||||||
|
|
||||||
if (argc == 1)
|
if (argc == 1)
|
||||||
return show_help (dev);
|
{
|
||||||
|
err = show_help (dev);
|
||||||
|
grub_device_close (dev);
|
||||||
|
return err;
|
||||||
|
}
|
||||||
|
|
||||||
for (i = 1; i < argc; i++)
|
for (i = 1; i < argc; i++)
|
||||||
if (grub_strcmp (args[i], "help") == 0)
|
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));
|
parsed = (int *) grub_zalloc (argc * sizeof (int));
|
||||||
|
|
||||||
|
|||||||
Reference in new issue
Block a user