}
// resolve yacy and yacyh domains
final AlternativeDomainNames yacyResolver = HTTPDemon.getAlternativeResolver();
if(yacyResolver != null) {
final String yAddress = yacyResolver.resolve(host);
if(yAddress != null) {
url = new DigestURI(url.getProtocol() + "://" + yAddress + path);
}
}