From 9af98f58490ea30440324463aa1e6492c4f9a71a Mon Sep 17 00:00:00 2001
From: Yves Fischer <yves.fischer@cern.ch>
Date: Thu, 1 Dec 2016 13:48:04 +0100
Subject: Allow digits in temporary filenames

---
 build.gradle | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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}")
-- 
cgit v1.2.1