wok diff gpxe/stuff/url_list.u @ rev 20979

updated gmime and gmime-dev (2.6.7 -> 3.2.3)
author Hans-G?nter Theisgen
date Tue Mar 05 17:56:52 2019 +0100 (2019-03-05)
parents
children
line diff
     1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/gpxe/stuff/url_list.u	Tue Mar 05 17:56:52 2019 +0100
     1.3 @@ -0,0 +1,20 @@
     1.4 +--- gpxe-0.9.3/src/usr/autoboot.c
     1.5 ++++ gpxe-0.9.3/src/usr/autoboot.c
     1.6 +@@ -229,9 +229,14 @@
     1.7 + 		set_url ( buf, forced_url.url );
     1.8 + 	}
     1.9 +     while (1) {
    1.10 +-	if ( buf[0] ) {
    1.11 +-		printf ( "Booting from filename \"%s\"\n", buf );
    1.12 +-		return boot_filename ( buf );
    1.13 ++	while ( buf[0] ) {
    1.14 ++		char *p;
    1.15 ++		for ( p = buf; *p && *p != ','; p++ );
    1.16 ++		if ( *p ) *p++ = 0;
    1.17 ++		set_url ( buf, buf );
    1.18 ++		printf ( "Booting from filename \"%s\"\n", buf );
    1.19 ++		if ( boot_filename ( buf ) == 0 ) return 0;
    1.20 ++		strcpy( buf, p );
    1.21 + 	}
    1.22 + 	
    1.23 + 	/* No filename; try the root path */