Unverified Commit 61d72c57 authored by marcdexet-cnrs's avatar marcdexet-cnrs Committed by GitHub
Browse files

Quote file separator to avoid backslash failures

parent 7bd91a1c

src/uws/service/file/DefaultOwnerGroupIdentifier.java

+1 −1
Original line number Diff line number Diff line
@@ -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 = "_";