From eab37a3ef31a1545bc21280332c3604e31adf827 Mon Sep 17 00:00:00 2001
From: marcdexet-cnrs <marc.dexet@cnrs.fr>
Date: Wed, 19 Sep 2018 11:18:34 +0200
Subject: [PATCH] Fix #87 with Pattern.quote
---
src/uws/service/file/LocalUWSFileManager.java | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/src/uws/service/file/LocalUWSFileManager.java b/src/uws/service/file/LocalUWSFileManager.java
index 05848c1..85c38a0 100644
--- a/src/uws/service/file/LocalUWSFileManager.java
+++ b/src/uws/service/file/LocalUWSFileManager.java
@@ -40,6 +40,7 @@ import java.util.Date;
import java.util.Iterator;
import java.util.List;
import java.util.NoSuchElementException;
+import java.util.regex.Pattern;
import uws.UWSException;
import uws.UWSToolBox;
@@ -214,7 +215,7 @@ public class LocalUWSFileManager implements UWSFileManager {
if (ownerGroup != null)
ownerDir = new File(rootDirectory, ownerGroup);
}
- ownerDir = new File(ownerDir, owner.getID().replaceAll(File.separator, "_"));
+ ownerDir = new File(ownerDir, owner.getID().replaceAll(Pattern.quote(File.separator), "_"));
return ownerDir;
}
--
GitLab