From 61d72c5789a4206ab9612b97476ccff74bd21bdc Mon Sep 17 00:00:00 2001
From: marcdexet-cnrs <marc.dexet@cnrs.fr>
Date: Fri, 14 Sep 2018 15:55:02 +0200
Subject: [PATCH] Quote file separator to avoid backslash failures
---
src/uws/service/file/DefaultOwnerGroupIdentifier.java | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/uws/service/file/DefaultOwnerGroupIdentifier.java b/src/uws/service/file/DefaultOwnerGroupIdentifier.java
index a55645e..3087e03 100644
--- a/src/uws/service/file/DefaultOwnerGroupIdentifier.java
+++ b/src/uws/service/file/DefaultOwnerGroupIdentifier.java
@@ -44,7 +44,7 @@ public class DefaultOwnerGroupIdentifier implements OwnerGroupIdentifier {
return null;
else{
// The user directory name = userID in which each directory separator char are replaced by a _ (=> no confusion with a path):
- String userDir = owner.getID().trim().replaceAll(File.separator, "_");
+ String userDir = owner.getID().trim().replaceAll(Pattern.quote(File.separator), "_");
// The parent directory = the first LETTER of the userID or _ if none can be found:
String parentDir = "_";
--
GitLab