mirror of
https://git.savannah.gnu.org/git/grub.git
synced 2026-10-21 14:59:34 +00:00
normal/main: Fix error handling.
Found by: Coverity scan.
This commit is contained in:
1 parent
a05a6e6f92
commit
73b1e83839
1 file changed
+1
-1
@@ -130,7 +130,7 @@ read_config_file (const char *config)
|
|||||||
file = grub_bufio_open (rawfile, 0);
|
file = grub_bufio_open (rawfile, 0);
|
||||||
if (! file)
|
if (! file)
|
||||||
{
|
{
|
||||||
grub_file_close (file);
|
grub_file_close (rawfile);
|
||||||
return 0;
|
return 0;
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|||||||
Reference in new issue
Block a user