tools/userland-fetch
changeset 5952 0ff1d1b8de45
parent 5862 ce31ce66da02
child 5953 de8c30ca3eaa
equal deleted inserted replaced
5949:eefd43fe9fc4 5952:0ff1d1b8de45
   244 		print "Unknown version '%s'" % version
   244 		print "Unknown version '%s'" % version
   245 		return None
   245 		return None
   246 
   246 
   247 	urls = [ d["url"] for d in verblock ]
   247 	urls = [ d["url"] for d in verblock ]
   248 	for archiveurl in urls:
   248 	for archiveurl in urls:
   249 		if archiveurl.endswith("/%s" % filename):
   249 		if archiveurl.endswith("/%s" % os.path.basename(filename)):
   250 			return archiveurl
   250 			return archiveurl
   251 
   251 
   252 	if urls:
   252 	if urls:
   253 		print "None of the following URLs delivers '%s':" % filename
   253 		print "None of the following URLs delivers '%s':" % filename
   254 		print "  " + "\n  ".join(urls)
   254 		print "  " + "\n  ".join(urls)