renamed Http_client to Http_user_agent to avoid clashes with Gerd's

[helm.git] / helm / uwobo / uwobo.ml
diff --git a/helm/uwobo/uwobo.ml b/helm/uwobo/uwobo.ml

index 345ccda59c53ccb2f769a34a50a283d6852ea2c2..d8341aeb6d924b3fd77cd979f75c492cd3cd1e33 100644 (file)
--- a/helm/uwobo/uwobo.ml
+++ b/helm/uwobo/uwobo.ml
@@ -254,7 +254,7 @@ let start_new_session cmd_pipe res_pipe outchan port logfile =
   (* Let's check that the port is free *)
   (try
     ignore
-    (Http_client.http_get
+    (Http_user_agent.get
        ("http://127.0.0.1:" ^ string_of_int port ^ "/help")) ;
     raise (Failure "Port already in use")
    with
@@ -298,7 +298,7 @@ let start_new_session cmd_pipe res_pipe outchan port logfile =
       (* It can raise Failure "Connection refused" *)
       (try
         ignore
-         (Http_client.http_get
+         (Http_user_agent.get
             ("http://127.0.0.1:" ^ string_of_int port ^ "/help"))
       with Unix.Unix_error (Unix.ECONNREFUSED, _, _) ->
         raise (Failure "Connection refused"))
@@ -442,7 +442,7 @@ let callback
         let res = Uwobo_profiles.get_params pid ?password () in
         respond_html
          ("<html><body><ul>" ^
-         String.concat "" (List.map (fun k,v -> "<li><key>" ^ k ^ "</key> = <value>" ^ v  ^ "</value></li>") res) ^
+         String.concat "" (List.map (fun (k,v) -> "<li><key>" ^ k ^ "</key> = <value>" ^ v  ^ "</value></li>") res) ^
           "</ul></body></html>") outchan
      | "/setparams" ->
         let serialized_param_value_list = serialize_param_list req#params in