X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=helm%2Fhttp_getter%2Fhttp_getter_misc.ml;fp=helm%2Fhttp_getter%2Fhttp_getter_misc.ml;h=1d9c59273f39ce50c504459814b5730771b66510;hp=5cb713f206dbf6ad9ea868ac937822cfab7c3da5;hb=27207fb1022d970d69da612aff49a38228727ff1;hpb=5e2135da18eeca0970692c12a0174690e6db7bd6

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