diff options
| author | Yves Fischer <yves.fischer@cern.ch> | 2016-12-01 13:48:04 +0100 |
|---|---|---|
| committer | Yves Fischer <yves.fischer@cern.ch> | 2016-12-01 13:48:04 +0100 |
| commit | 9af98f58490ea30440324463aa1e6492c4f9a71a (patch) | |
| tree | f5f380024e812acd93babf4c350b7dafd848819a | |
| parent | b3ac52a135910fccc3106a68aae953641479d68d (diff) | |
| download | debian-packages-9af98f58490ea30440324463aa1e6492c4f9a71a.tar.gz debian-packages-9af98f58490ea30440324463aa1e6492c4f9a71a.zip | |
Allow digits in temporary filenames
| -rw-r--r-- | build.gradle | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/build.gradle b/build.gradle index 7d9594c..d35d0bb 100644 --- a/build.gradle +++ b/build.gradle @@ -72,7 +72,7 @@ subprojects { ext.makeDownloadTask = { Map params -> final url = params.url final basename = url.substring(url.lastIndexOf("/") + 1) - .grep { c -> c == '.' || Character.isAlphabetic((int) (c as char)) } + .grep { c -> c == '.' || Character.isAlphabetic((int) (c as char)) || Character.isDigit((int) (c as char)) } .join('') final taskname = params.name ?: basename final dest = new File(buildDir, "download_${basename}") |