21 |
open Md4 |
open Md4 |
22 |
|
|
23 |
open GuiTypes |
open GuiTypes |
24 |
|
|
25 |
open CommonTypes |
open CommonTypes |
26 |
open CommonDownloads |
open CommonDownloads |
27 |
|
|
52 |
|
|
53 |
and download = { |
and download = { |
54 |
download_file : file; |
download_file : file; |
55 |
download_url : Url.url; |
download_url : Url.url; |
56 |
mutable download_chunks : (int64 * int64) list; |
mutable download_chunks : (int64 * int64) list; |
57 |
mutable download_uploader : Int64Swarmer.uploader option; |
mutable download_uploader : Int64Swarmer.uploader option; |
58 |
mutable download_ranges : (int64 * int64 * Int64Swarmer.range) list; |
mutable download_ranges : (int64 * int64 * Int64Swarmer.range) list; |
61 |
|
|
62 |
and tp_proto = { |
and tp_proto = { |
63 |
proto_send_range_request : (client -> (int64 * int64) -> |
proto_send_range_request : (client -> (int64 * int64) -> |
64 |
TcpBufferedSocket.t -> download -> unit); |
TcpBufferedSocket.t -> download -> unit); |
65 |
proto_set_sock_handler : (client -> TcpBufferedSocket.t -> unit); |
proto_set_sock_handler : (client -> TcpBufferedSocket.t -> unit); |
66 |
proto_string : string; |
proto_string : string; |
67 |
proto_check_size : Url.url -> |
proto_check_size : Url.url -> |
68 |
(int64 -> unit) -> unit; |
(int64 -> unit) -> unit; |
69 |
proto_connect : TcpBufferedSocket.token -> |
proto_connect : TcpBufferedSocket.token -> |
70 |
client -> (TcpBufferedSocket.t -> unit) -> TcpBufferedSocket.t; |
client -> (TcpBufferedSocket.t -> unit) -> TcpBufferedSocket.t; |
71 |
} |
} |
|
|
|