diff --git a/src/uws/service/file/LocalUWSFileManager.java b/src/uws/service/file/LocalUWSFileManager.java index 85c38a04fef635ccb0da8807666d31826b21202b..0ca787e746bf8eb0300e0eeaab77a5975ead25cc 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