Show URL when title is missing during pull
This commit is contained in:
parent
45a653d949
commit
1fa25c766b
|
@ -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
|
||||
|
||||
|
|
Loading…
Reference in New Issue