From e38a6d644c96ca8b39b0eed8204d14b758aa1301 Mon Sep 17 00:00:00 2001 From: fox Date: Thu, 17 Nov 2022 19:56:15 +0000 Subject: [PATCH] Show URL when title is missing during pull git-svn-id: file:///srv/svn/repo/kosuzu/trunk@28 eb64cd80-c68d-6f47-b6a3-0ada418499da --- 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