From 1fa25c766b4daa4937e322546f71abbf509ea651 Mon Sep 17 00:00:00 2001 From: orbifx Date: Thu, 17 Nov 2022 19:56:15 +0000 Subject: [PATCH] Show URL when title is missing during pull --- cli/pull.ml | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/cli/pull.ml b/cli/pull.ml index 0fb161f..fa53a31 100644 --- a/cli/pull.ml +++ b/cli/pull.ml @@ -105,7 +105,8 @@ let pull_index url authors_opt topics_opt = authors = (match authors_opt with Some s -> Person.Set.of_string s | None -> Person.Set.empty); topics =( match topics_opt with Some s -> String_set.of_string s | None -> String_set.empty); } in - let print = printers (string_of_int @@ Logarion.Header_pack.numof_texts pk) pk.info.title dir in + let name = match pk.info.title with "" -> url | title -> title in + let print = printers (string_of_int @@ Logarion.Header_pack.numof_texts pk) name dir in try Logarion.Header_pack.iteri (per_text url dir filter print) pk; print_newline (); true with Invalid_argument msg -> Printf.eprintf "\nFailed to parse %s: %s\n%!" url msg; false