From e0816ef2e5dfe812fa076baa10e0d84912a69922 Mon Sep 17 00:00:00 2001
From: reger <reger18@arcor.de>
Date: Sat, 5 Nov 2016 19:40:14 +0100
Subject: [PATCH] use human readable date format in CrawlStacker error message
 "double in: local index, oldDate = "

---
 source/net/yacy/crawler/CrawlStacker.java | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/source/net/yacy/crawler/CrawlStacker.java b/source/net/yacy/crawler/CrawlStacker.java
index 2b15d8c0f..9551d4dac 100644
--- a/source/net/yacy/crawler/CrawlStacker.java
+++ b/source/net/yacy/crawler/CrawlStacker.java
@@ -36,6 +36,7 @@ import java.util.concurrent.BlockingQueue;
 import java.util.concurrent.atomic.AtomicInteger;
 
 import net.yacy.contentcontrol.ContentControlFilterUpdateThread;
+import net.yacy.cora.date.ISO8601Formatter;
 import net.yacy.cora.document.encoding.ASCII;
 import net.yacy.cora.document.encoding.UTF8;
 import net.yacy.cora.document.id.AnchorURL;
@@ -440,7 +441,7 @@ public final class CrawlStacker {
                 CrawlStacker.log.fine("RE-CRAWL of URL '" + urlstring + "': this url was crawled " +
                     ((System.currentTimeMillis() - oldDate.longValue()) / 60000 / 60 / 24) + " days ago.");
         } else {
-            return "double in: local index, oldDate = " + oldDate.toString();
+            return "double in: local index, oldDate = " + ISO8601Formatter.FORMATTER.format(new Date(oldDate));
         }
 
         return null;