Changeset 42 in code for trunk/cli/pull.ml

Timestamp:

Dec 15, 2022, 9:25:18 PM (2 years ago)

Author:

fox

Message:

Preliminary support for cross-domain references

File:

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

trunk/cli/pull.ml

@@ -76 +76 @@
                         output_string file txt; close_out file
 
-let per_text url dir filter print i id time title authors topics = match id with
+let per_text url dir filter print i id time title authors topics _refs _reps = match id with
         | "" -> Printf.eprintf "\nInvalid id for %s\n" title
         | id -> let open Logarion in
@@ -128 +128 @@
         let pull got_one peer_url = if got_one then got_one else
                 (pull_index peer_url auths topics) in
+        let open Logarion in
         let fold_locations init peer =
-                ignore @@ List.fold_left pull init peer.Logarion.Peers.locations;
+                ignore @@ List.fold_left pull init peer.Peers.pack.Header_pack.info.locations;
                 false
         in
-        ignore @@ Logarion.Peers.fold fold_locations false;
+        ignore @@ Peers.fold fold_locations false;
         Curl.global_cleanup ()