diff --git a/src/uws/service/file/LocalUWSFileManager.java b/src/uws/service/file/LocalUWSFileManager.java index 05848c10889dcf75ddd52b92f57fcda6df3740a8..85c38a04fef635ccb0da8807666d31826b21202b 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; }