X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fuwobo%2Fuwobo.ml;h=d8341aeb6d924b3fd77cd979f75c492cd3cd1e33;hb=2026624f827b29c35d54aa67b301250123ea7311;hp=4154dfb3d3fdd9851f67a8ea7062915dc88ba1c8;hpb=ebc089606ccbb3e9dbde142542a1f98f5020b4dd;p=helm.git

diff --git a/helm/uwobo/uwobo.ml b/helm/uwobo/uwobo.ml
index 4154dfb3d..d8341aeb6 100644
--- 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"))