Merge pull request #20872 from Konrado85

* pr/20872:
  Change PropertiesLauncher equals method to use URI

Closes gh-20872
This commit is contained in:
Stephane Nicoll 2020-04-13 13:58:16 +02:00
commit 2ee73a6c83

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;
}