On Sat, Jul 25, 2009 at 1:35 AM, Felix Zielcke<fziel...@z-51.de> wrote: > Is this an acceptable fix? > Though I have the feeling this isn't a proper one. > >> >> The fix is to assign grub_errno before making the call to >> grub_file_get_device_name(): Just check whether returned device_name is 0 or not >> >> diff --git a/kern/file.c b/kern/file.c >> index adf55da..5e605f9 100644 >> --- a/kern/file.c >> +++ b/kern/file.c >> @@ -59,6 +59,7 @@ grub_file_open (const char *name) >> char *device_name; >> char *file_name; >> >> + grub_errno = GRUB_ERR_NONE; /* Used as error flag */ >> device_name = grub_file_get_device_name (name); >> if (grub_errno) >> return 0; > > > -- > Felix Zielcke > Proud Debian Maintainer > > > > _______________________________________________ > Grub-devel mailing list > Grub-devel@gnu.org > http://lists.gnu.org/mailman/listinfo/grub-devel >
-- Regards Vladimir 'phcoder' Serbinenko Personal git repository: http://repo.or.cz/w/grub2/phcoder.git _______________________________________________ Grub-devel mailing list Grub-devel@gnu.org http://lists.gnu.org/mailman/listinfo/grub-devel
