From a2bfac21b5e4e2e22e486ee1fd1c6013083a8871 Mon Sep 17 00:00:00 2001
From: Christophe Troestler <Christophe.Troestler@umons.ac.be>
Date: Sat, 18 May 2019 18:03:20 +0200
Subject: [PATCH] Do not fail when a RSS feed contains an invalid date

---
 script/rss2html.ml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/script/rss2html.ml b/script/rss2html.ml
index 49848c510..f38e0267e 100644
--- a/script/rss2html.ml
+++ b/script/rss2html.ml
@@ -173,6 +173,8 @@ let feed_of_url ~name url =
   | Nethttp_client.Http_error(err, _) ->
      let msg = Nethttp.(string_of_http_status (http_status_of_int err)) in
      broken_feed name url msg
+  | Invalid_argument msg ->     (* e.g. Syndic.Date.of_string *)
+     broken_feed name url ("Invalid_argument: " ^ msg)
 
 let planet_feeds =
   let add_feed acc line =