Change PropertiesLauncher equals method to use URI

See gh-20872
This commit is contained in:
Konrado85 2020-04-07 18:05:11 +02:00 committed by Stephane Nicoll
parent 41f46149aa
commit 9f4c39c985

View File

@ -516,7 +516,7 @@ public class PropertiesLauncher extends Launcher {
private List<Archive> getNestedArchives(String path) throws Exception {
Archive parent = this.parent;
String root = path;
if (!root.equals("/") && root.startsWith("/") || parent.getUrl().equals(this.home.toURI().toURL())) {
if (!root.equals("/") && root.startsWith("/") || parent.getUrl().toURI().equals(this.home.toURI())) {
// If home dir is same as parent archive, no need to add it twice.
return null;
}