tools/userland-fetch
changeset 5952 0ff1d1b8de45
parent 5862 ce31ce66da02
child 5953 de8c30ca3eaa
--- a/tools/userland-fetch	Mon May 09 17:12:48 2016 -0600
+++ b/tools/userland-fetch	Mon May 09 19:47:00 2016 -0700
@@ -246,7 +246,7 @@
 
 	urls = [ d["url"] for d in verblock ]
 	for archiveurl in urls:
-		if archiveurl.endswith("/%s" % filename):
+		if archiveurl.endswith("/%s" % os.path.basename(filename)):
 			return archiveurl
 
 	if urls: