Merge pull request #1 from giltene/master

Match filename extension only at the end of the filename
This commit is contained in:
Gil Tene 2019-11-02 11:19:03 -07:00 committed by GitHub
commit d166c128e9
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 2 additions and 2 deletions

View file

@ -180,7 +180,7 @@ function getDownloadInfo(refs, version) {
let versionMap = new Map(); let versionMap = new Map();
// Filter by platform // Filter by platform
refs.forEach(ref => { refs.forEach(ref => {
if (ref.indexOf(extension) < 0) { if (!ref.endsWith(extension + '">')) {
return; return;
} }
// If we haven't returned, means we're looking at the correct platform // If we haven't returned, means we're looking at the correct platform

View file

@ -192,7 +192,7 @@ function getDownloadInfo(
// Filter by platform // Filter by platform
refs.forEach(ref => { refs.forEach(ref => {
if (ref.indexOf(extension) < 0) { if (!ref.endsWith(extension + '">')) {
return; return;
} }