]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/http_getter/http_getter_misc.ml
perform ancient HTTP request to avoid parsing response's headers
[helm.git] / 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