mirror of
https://git.savannah.gnu.org/git/grub.git
synced 2026-10-21 23:02:40 +00:00
normal/misc: Close device on all pathes.
Found by: Coverity scan.
This commit is contained in:
1 parent
73b1e83839
commit
6603c22f31
1 file changed
+3
-2
@@ -184,10 +184,11 @@ grub_normal_print_device_info (const char *name)
|
|||||||
/* TRANSLATORS: Replace dot with appropriate decimal separator for
|
/* TRANSLATORS: Replace dot with appropriate decimal separator for
|
||||||
your language. */
|
your language. */
|
||||||
(grub_disk_get_size (dev->disk) & 1) ? _(".5") : "");
|
(grub_disk_get_size (dev->disk) & 1) ? _(".5") : "");
|
||||||
|
|
||||||
grub_device_close (dev);
|
|
||||||
}
|
}
|
||||||
|
|
||||||
|
if (dev)
|
||||||
|
grub_device_close (dev);
|
||||||
|
|
||||||
grub_xputs ("\n");
|
grub_xputs ("\n");
|
||||||
return grub_errno;
|
return grub_errno;
|
||||||
}
|
}
|
||||||
Reference in new issue
Block a user