1 --- grub-0.95/stage2/graphics.c.old 2005-01-11 09:34:17.125451981 -0500
2 +++ grub-0.95/stage2/graphics.c 2005-01-11 09:34:03.743949015 -0500
7 - if (!graphics_inited) {
8 - saved_videomode = set_videomode(0x12);
11 if (!read_image(splashimage)) {
12 - set_videomode(saved_videomode);
13 + current_term = term_table;
14 grub_printf("failed to read image\n");
21 + saved_videomode = set_videomode(0x12);
24 while (grub_read(&c, 1)) {