nice crawl name if crawl is started with file:// (was: null)

pull/1/head
Michael Peter Christen 12 years ago
parent b4f0cac102
commit f93501e6e0

@ -183,7 +183,7 @@ public class Crawler_p {
try {
DigestURI crawlingStartURL = new DigestURI(crawlingStart);
rootURLs.add(crawlingStartURL);
crawlName += crawlingStartURL.getHost() + ',';
crawlName += ((crawlingStartURL.getHost() == null) ? crawlingStartURL.toNormalform(true) : crawlingStartURL.getHost()) + ',';
if (crawlingStartURL != null && (crawlingStartURL.isFile() || crawlingStartURL.isSMB())) storeHTCache = false;
} catch (MalformedURLException e) {

Loading…
Cancel
Save