1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
|
(* approx: proxy server for Debian archive files
Copyright (C) 2009 Eric C. Cooper <ecc@cmu.edu>
Released under the GNU General Public License *)
(* Translate a request URL to the remote repository URL and
return it together with the relative path for the cache *)
val translate_request : string -> string * string
(* Find the remote URL corresponding to a given file in the cache,
or raise Not_found if it does not correspond to a known mapping *)
val translate_file : string -> string
type protocol = HTTP | HTTPS | FTP | FILE
val protocol : string -> protocol
(* Perform HTTP HEAD (or equivalent for FTP and FILE) on the given URL
and apply a callback to each header that is returned *)
val head : string -> (string -> unit) -> unit
(* Download the specified URL with optional request headers,
then apply callbacks to the headers and body chunks *)
val download :
string ->
?headers:string list ->
?header_callback:(string -> unit) ->
(string -> int -> int -> unit) -> unit
(* Download a file from a remote repository *)
val download_file : string -> unit
(* Format and parse HTTP-compliant times *)
val time_of_string : string -> float
val string_of_time : float -> string
|