2
0
Fork 0
mirror of https://github.com/ethauvin/bld.git synced 2025-04-27 00:38:12 -07:00

More Windows tweaks

This commit is contained in:
Geert Bevin 2023-10-01 14:42:04 -04:00
parent 35887e7d06
commit 7face792f2
2 changed files with 19 additions and 1 deletions

View file

@ -161,7 +161,9 @@ public record Repository(String location, String username, String password) {
var separator = "/";
var result = new StringBuilder();
if (isLocal()) {
separator = File.separator;
if (isWindowsLocation()) {
separator = File.separator;
}
if (location().startsWith("file://")) {
result.append(location().substring("file://".length()));
} else {