Use file separator

This commit is contained in:
Jesse Boyd 2018-05-02 09:16:04 +10:00
parent af43e19018
commit 7a9ed0f512
No known key found for this signature in database
GPG Key ID: 59F1DE6293AF6E1F
1 changed files with 1 additions and 1 deletions

View File

@ -893,7 +893,7 @@ public class UtilityCommands extends MethodCommands {
StringBuilder name = new StringBuilder();
if (relative.isAbsolute()) {
relative = root.toURI().relativize(file.toURI());
name.append("../");
name.append(".." + File.separator);
}
name.append(relative.getPath());
return name.toString();