diff --git a/src/fr/devinsy/statoolinfos/crawl/Crawler.java b/src/fr/devinsy/statoolinfos/crawl/Crawler.java index 6ee7e05..9fe667f 100644 --- a/src/fr/devinsy/statoolinfos/crawl/Crawler.java +++ b/src/fr/devinsy/statoolinfos/crawl/Crawler.java @@ -119,6 +119,13 @@ public class Crawler downloadFile = null; exception.printStackTrace(); } + catch (java.net.SocketException exception) + { + logger.error("ERROR: crawl failed for [{}]: {}", url.toString(), exception.getMessage()); + this.journal.add(url, parentURL, CrawlStatus.CONNECTERROR); + downloadFile = null; + exception.printStackTrace(); + } catch (FileNotFoundException exception) { logger.error("ERROR: crawl failed for [{}]: {}", url.toString(), exception.getMessage());