}
printf ("%s", disk);
putchar (delim);
+ free (disk);
}
return;
}
{
grub_util_fprint_full_disk_name (stdout, dev->disk->name, dev);
putchar (delim);
+ grub_device_close (dev);
continue;
}
if (print == PRINT_IEEE1275_HINT)
{
const char *osdev = grub_util_biosdisk_get_osdev (dev->disk);
- const char *ofpath = grub_util_devname_to_ofpath (osdev);
+ char *ofpath = grub_util_devname_to_ofpath (osdev);
const char *map;
map = grub_util_biosdisk_get_compatibility_hint (dev->disk);
strcpy (p, ofpath);
grub_util_fprint_full_disk_name (stdout, tmp, dev);
free (tmp);
+ free (ofpath);
putchar (delim);
}