From c5a1b11315c1271812e6882f0a542c3a5cf9b0ba Mon Sep 17 00:00:00 2001 From: Hans-Christoph Steiner Date: Thu, 6 Jul 2017 23:29:54 +0200 Subject: [PATCH] allow spaces in file names This will be more important as people work with media, since it is quite common to use spaces in filenames generated by humans. Media files will not be built by fdroid, so most likely, they will have human-generated names. --- app/src/main/java/org/fdroid/fdroid/data/SanitizedFile.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/app/src/main/java/org/fdroid/fdroid/data/SanitizedFile.java b/app/src/main/java/org/fdroid/fdroid/data/SanitizedFile.java index 5df4fb933..0e6d46e40 100644 --- a/app/src/main/java/org/fdroid/fdroid/data/SanitizedFile.java +++ b/app/src/main/java/org/fdroid/fdroid/data/SanitizedFile.java @@ -15,7 +15,7 @@ public class SanitizedFile extends File { * Removes anything that is not an alpha numeric character, or one of "-", ".", or "_". */ public static String sanitizeFileName(String name) { - return name.replaceAll("[^A-Za-z0-9-._]", ""); + return name.replaceAll("[^A-Za-z0-9-._ ]", ""); } /**