Changeset 29 in code

Timestamp:

Nov 17, 2022, 8:15:26 PM (2 years ago)

Author:

fox

Message:

Skip indices with empty ID

File:

• trunk/cli/pull.ml (modified) (2 diffs)

trunk/cli/pull.ml

@@ -94 +94 @@
                 match Logarion.Header_pack.of_string (Buffer.contents body) with
                 | Error s -> Printf.printf "Error with %s: %s\n" url s; false
+                | Ok pk when pk.info.id = "" ->
+                        Printf.printf "Empty ID index.pck, skipping %s\n" url; false
                 | Ok pk ->
                         let dir = Filename.concat Logarion.Peers.text_dir pk.info.id in
@@ -109 +111 @@
                         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
+                        with Invalid_argument msg -> Printf.printf "\nFailed to parse %s: %s\n%!" url msg; false
 
 let pull_list auths topics =