Merge branch 'master' into 1.17

This commit is contained in:
gnembon committed 2021-04-06 20:59:59 -03:00
commit 0aff2f90c3
1 file changed
+1 -1
@@ -249,7 +249,7 @@ public class FileArgument
strings = result.map(p -> {
if (zipContainer == null)
return rootPath.relativize(p).toString().replaceAll("[\\\\/]+", "/");
return (zipComponent + p.toString()).replaceAll("[\\\\/]+", "/");
return (zipComponent + '/'+ p.toString()).replaceAll("[\\\\/]+", "/");
});
} }
finally