]> matita.cs.unibo.it Git - helm.git/commitdiff
perform ancient HTTP request to avoid parsing response's headers
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 8 Jan 2003 17:34:26 +0000 (17:34 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 8 Jan 2003 17:34:26 +0000 (17:34 +0000)
helm/http_getter/http_getter_misc.ml

index 5cb713f206dbf6ad9ea868ac937822cfab7c3da5..1d9c59273f39ce50c504459814b5730771b66510 100644 (file)
@@ -93,7 +93,7 @@ let http_get_iter_buf ~callback url =
   let (address, port, path) = parse_url url in
   let buf = String.create tcp_bufsiz in
   let (inchan, outchan) = init_socket address port in
-  output_string outchan (sprintf "GET %s HTTP/1.0\r\n\r\n" path);
+  output_string outchan (sprintf "GET %s\r\n" path);
   flush outchan;
   (try
     while true do