From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Wed, 8 Jan 2003 17:34:26 +0000 (+0000)
Subject: perform ancient HTTP request to avoid parsing response's headers
X-Git-Tag: v0_3_99~64
X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=commitdiff_plain;h=27207fb1022d970d69da612aff49a38228727ff1

perform ancient HTTP request to avoid parsing response's headers
---

diff --git a/helm/http_getter/http_getter_misc.ml b/helm/http_getter/http_getter_misc.ml
index 5cb713f20..1d9c59273 100644
--- a/helm/http_getter/http_getter_misc.ml
+++ b/helm/http_getter/http_getter_misc.ml
@@ -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