295 |
let v = (kind, 1, url) in |
let v = (kind, 1, url) in |
296 |
if not (List.mem v !!web_infos) then |
if not (List.mem v !!web_infos) then |
297 |
web_infos =:= v :: !!web_infos; |
web_infos =:= v :: !!web_infos; |
298 |
CommonWeb.load_url kind url; |
CommonWeb.load_url true kind url; |
299 |
"url added to web_infos. downloading now" |
"url added to web_infos. downloading now" |
300 |
), "<kind> <url> :\t\t\tload this file from the web. |
), "<kind> <url> :\t\t\tload this file from the web. |
301 |
\t\t\t\t\tkind is either server.met (if the downloaded file is a server.met)"; |
\t\t\t\t\tkind is either server.met (if the downloaded file is a server.met)"; |
2653 |
H.req_proxy = !CommonOptions.http_proxy; |
H.req_proxy = !CommonOptions.http_proxy; |
2654 |
H.req_request = H.HEAD; |
H.req_request = H.HEAD; |
2655 |
H.req_user_agent = |
H.req_user_agent = |
2656 |
Printf.sprintf "MLdonkey/%s" Autoconf.current_version; |
Printf.sprintf "MLDonkey/%s" Autoconf.current_version; |
2657 |
} in |
} in |
2658 |
H.whead r |
H.whead r |
2659 |
(fun headers -> |
(fun headers -> |