Improved empty crawled file case.

src/fr/devinsy/statoolinfos/crawl/CrawlCache.java

@@ -394,16 +394,26 @@ public class CrawlCache
             FileUtils.copyURLToFile(url, temp, TIMEOUT, TIMEOUT);
             if (temp.length() == 0)
             {
-                logger.warn("WARNING: empty file crawled for [{}]", url);
+                if (result.exists())
+                {
+                    logger.warn("WARNING: empty file crawled and ignored for [{}]", url);
+                    result = null;
                 }
                 else
                 {
-                temp.renameTo(result);
+                    logger.warn("WARNING: empty file crawled and copied for [{}]", url);
+                    FileUtils.copyFile(temp, result);
+                }
+            }
+            else
+            {
+                FileUtils.copyFile(temp, result);
             }
             temp.delete();
         }
         else
         {
+            logger.warn("WARNING: crawl failed because bad http+ protocol for [{}]", url);
             result = null;
         }
 

src/fr/devinsy/statoolinfos/crawl/Crawler.java

@@ -168,7 +168,8 @@ public class Crawler
 
         // Crawl.
         File file = cache.store(url);
-
+        if (file != null)
+        {
             // Build crawl data.
             PathProperties crawlSection = new PathPropertyList();
             crawlSection.put("crawl.crawler", "StatoolInfos");
@@ -213,3 +214,4 @@ public class Crawler
             }
         }
     }
+}