From f93501e6e0dbf7dbfc47e932f06ea449bc0d9b0a Mon Sep 17 00:00:00 2001
From: Michael Peter Christen <mc@yacy.net>
Date: Mon, 20 May 2013 11:25:26 +0200
Subject: [PATCH] nice crawl name if crawl is started with file:// (was: null)

---
 htroot/Crawler_p.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/htroot/Crawler_p.java b/htroot/Crawler_p.java
index 3da957f05..737d3feb7 100644
--- a/htroot/Crawler_p.java
+++ b/htroot/Crawler_p.java
@@ -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) {