Parent Directory | Revision Log | Patch
revision 1.30 by spiralvoice, Mon Aug 15 20:27:56 2005 UTC | revision 1.31 by spiralvoice, Thu Sep 1 00:04:12 2005 UTC | |
---|---|---|
# | Line 754 search.op_search_end_reply_handlers; | Line 754 search.op_search_end_reply_handlers; |
754 | H.req_proxy = !CommonOptions.http_proxy; | H.req_proxy = !CommonOptions.http_proxy; |
755 | H.req_request = H.HEAD; | H.req_request = H.HEAD; |
756 | H.req_user_agent = | H.req_user_agent = |
757 | Printf.sprintf "MLdonkey/%s" Autoconf.current_version; | Printf.sprintf "MLDonkey/%s" Autoconf.current_version; |
758 | } in | } in |
759 | H.whead r | H.whead r |
760 | (fun headers -> | (fun headers -> |
|
savannah-hackers-public@gnu.org | ViewVC Help |
Powered by ViewVC 1.1.26 |