in src/main/java/com/googlesource/gerrit/plugins/serverconfig/ServerConfigServlet.java [185:196]
private boolean isParent(Path parent, Path child) throws IOException {
Path p = child;
for (;;) {
p = p.getParent();
if (p == null) {
return false;
}
if (Files.isSameFile(p, parent)) {
return true;
}
}
}