From 0384ef2a6b4ecb46101a3808d9aa08da7f75029d Mon Sep 17 00:00:00 2001
From: Marc DeXeT <marc.dexet@cnrs.fr>
Date: Fri, 21 Sep 2018 13:44:17 +0200
Subject: [PATCH] Quote file separator to avoid backslash failures (3)
---
src/uws/service/file/LocalUWSFileManager.java | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/uws/service/file/LocalUWSFileManager.java b/src/uws/service/file/LocalUWSFileManager.java
index 85c38a0..0ca787e 100644
--- a/src/uws/service/file/LocalUWSFileManager.java
+++ b/src/uws/service/file/LocalUWSFileManager.java
@@ -714,7 +714,7 @@ public class LocalUWSFileManager implements UWSFileManager {
protected String getBackupFileName(final JobOwner owner) throws IllegalArgumentException{
if (owner == null || owner.getID() == null || owner.getID().trim().isEmpty())
throw new IllegalArgumentException("Missing owner! Can not get the backup file of an unknown owner.");
- return owner.getID().replaceAll(File.separator, "_") + ".backup";
+ return owner.getID().replaceAll(Pattern.quote(File.separator), "_") + ".backup";
}
@Override
--
GitLab