X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Focaml-http%2Fhttp_misc.ml;h=fcec70ca5f4016523fca8e8bf757aa4e4f045cee;hb=275727242ccdce9df01af65f3bfb2d65283fa197;hp=5b04f2c377389c6387848dfaaf4b95f6ee204d04;hpb=80a7a8d3389af9590f54743c898b6d76a0b296f8;p=helm.git

diff --git a/helm/DEVEL/ocaml-http/http_misc.ml b/helm/DEVEL/ocaml-http/http_misc.ml
index 5b04f2c37..fcec70ca5 100644
--- a/helm/DEVEL/ocaml-http/http_misc.ml
+++ b/helm/DEVEL/ocaml-http/http_misc.ml
@@ -98,7 +98,9 @@ let reason_phrase_of_code = function
   | invalid_code -> raise (Invalid_code invalid_code)
 
 let build_sockaddr (addr, port) =
-  Unix.ADDR_INET (Unix.inet_addr_of_string addr, port)
+  try
+    Unix.ADDR_INET ((Unix.gethostbyname addr).Unix.h_addr_list.(0), port)
+  with Not_found -> failwith ("OCaml-HTTP, can't resolve hostname: " ^ addr)
 
 let explode_sockaddr = function
   | Unix.ADDR_INET (addr, port) -> (Unix.string_of_inet_addr addr, port)