Copy the information about the proxy of a source in all the entries of that source; this way it is possible to use it later when accessing to the actual image of an entry. --- builder/index_parser.ml | 2 ++ builder/index_parser.mli | 1 + 2 files changed, 3 insertions(+) diff --git a/builder/index_parser.ml b/builder/index_parser.ml index 2040656..40b2116 100644 --- a/builder/index_parser.ml +++ b/builder/index_parser.ml @@ -40,6 +40,7 @@ and entry = { hidden : bool; sigchecker : Sigchecker.t; + proxy : Downloader.proxy_mode; } let print_entry chan (name, { printable_name = printable_name; @@ -259,6 +260,7 @@ let get_index ~prog ~debug ~downloader ~sigchecker ~proxy source = lvexpand = lvexpand; notes = notes; hidden = hidden; + proxy = proxy; sigchecker = sigchecker } in n, entry ) sections in diff --git a/builder/index_parser.mli b/builder/index_parser.mli index c2c5d11..a714d05 100644 --- a/builder/index_parser.mli +++ b/builder/index_parser.mli @@ -34,6 +34,7 @@ and entry = { hidden : bool; sigchecker : Sigchecker.t; + proxy : Downloader.proxy_mode; } val get_index : prog:string -> debug:bool -> downloader:Downloader.t -> sigchecker:Sigchecker.t -> proxy:Downloader.proxy_mode -> string -> index -- 1.9.0