Do not fail when a RSS feed contains an invalid date

IIITM-Jay · May 18, 2019 · a2bfac2 · a2bfac2
1 parent 1c5d9e2
commit a2bfac2
Showing 1 changed file with 2 additions and 0 deletions.
diff --git 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 =