mirror of
https://git.savannah.gnu.org/git/grub.git
synced 2026-10-22 15:22:39 +00:00
Adjustment proposed by dkiper
This commit is contained in:
1 parent
09bd17faaa
commit
4f280d955e
1 file changed
+2
-2
@@ -124,7 +124,7 @@ grub_verify_helper_open (grub_file_t io, enum grub_file_type type)
|
||||
if (err)
|
||||
goto fail;
|
||||
|
||||
err = ver->fini (context);
|
||||
err = ver->fini ? ver->fini (context) : GRUB_ERR_NONE;
|
||||
if (err)
|
||||
goto fail;
|
||||
|
||||
@@ -142,7 +142,7 @@ grub_verify_helper_open (grub_file_t io, enum grub_file_type type)
|
||||
if (err)
|
||||
goto fail;
|
||||
|
||||
err = ver->fini (context);
|
||||
err = ver->fini ? ver->fini (context) : GRUB_ERR_NONE;
|
||||
if (err)
|
||||
goto fail;
|
||||
|
||||
|
||||
Reference in new issue
Block a user