util/getroot: Add missing grub_disk_close.

Found by: Coverity scan.

diff --git a/util/getroot.c b/util/getroot.c
index 3958105d8192b598658e03420883597deee418ab..345d49ba83827cc7e439dd682d58b5b2da5b0543 100644 (file)
--- a/util/getroot.c
+++ b/util/getroot.c
@@ -417,7 +417,10 @@ grub_util_biosdisk_get_grub_dev (const char *os_dev)
 
     name = grub_util_get_ldm (disk, ctx.start);
     if (name)
-      return name;
+      {
+       grub_disk_close (disk);
+       return name;
+      }
 
     ctx.partname = NULL;