wok-next diff gpxe/stuff/patches/url_list.u @ rev 20678

Up clisp (2.50)
author Aleksej Bobylev <al.bobylev@gmail.com>
date Tue May 15 02:59:03 2018 +0300 (2018-05-15)
parents 40049921ce2b
children
line diff
     1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/gpxe/stuff/patches/url_list.u	Tue May 15 02:59:03 2018 +0300
     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 */