}
} catch (final IOException e) {
Network.log.logInfo("BOOTSTRAP: bad seed: " + e.getMessage());
}
}
Network.log.logInfo("BOOTSTRAP: " + lc + " seeds from seed-list URL " + seedListFileURL + ", AGE=" + (header.age() / 3600000) + "h");
}
} catch (final IOException e) {
// this is when wget fails, commonly because of timeout
Network.log.logWarning("BOOTSTRAP: failed (1) to load seeds from seed-list URL " + seedListFileURL + ": " + e.getMessage());