]> matita.cs.unibo.it Git - helm.git/commitdiff
use ocaml-http instead of netclient for http requests
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 17 Dec 2003 14:04:28 +0000 (14:04 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 17 Dec 2003 14:04:28 +0000 (14:04 +0000)
helm/uwobo/Makefile
helm/uwobo/uwobo.ml

index b3a989e7e1c30ca03231e3c85f941bc59821f498..c2a97d7c5fe5fcca7a41eace74176d2299cabfb4 100644 (file)
@@ -1,7 +1,7 @@
 VERSION = 0.2.1
 DISTDIR = uwobo-$(VERSION)
 DISTTARBALL = $(DISTDIR).tar.gz
-REQUIRES = http gdome2 gdome2-xslt pcre unix netclient
+REQUIRES = http gdome2 gdome2-xslt pcre unix
 COMMONOPTS = -package "$(REQUIRES)" -pp camlp4o
 OCAMLFIND = ocamlfind
 OCAMLC = $(OCAMLFIND) ocamlc $(COMMONOPTS)
index 5d67eacfad328ac7270d91dfd64b6468bcd5db5e..a9755885d2463f65490c4f263c1d0ccc0f09c02d 100644 (file)
@@ -225,11 +225,11 @@ let start_new_session cmd_pipe res_pipe outchan port logfile =
   (* Let's check that the port is free *)
   (try
     ignore
-     (Http_client.Convenience.http_head_message
+     (Http_client.http_get
        ("http://127.0.0.1:" ^ string_of_int port ^ "/help")) ;
     raise (Failure "Port already in use")
    with
-    Failure "Connection refused" -> ()
+    Unix.Unix_error (Unix.ECONNREFUSED, _, _) -> ()
   ) ;
   match Unix.fork () with
      0 ->
@@ -258,9 +258,12 @@ let start_new_session cmd_pipe res_pipe outchan port logfile =
       (* let's check if the new UWOBO started correctly *)
       Unix.sleep 5 ;
       (* It can raise Failure "Connection refused" *)
-      ignore
-        (Http_client.Convenience.http_head_message
-          ("http://127.0.0.1:" ^ string_of_int port ^ "/help"))
+      (try
+        ignore
+          (Http_client.http_get
+            ("http://127.0.0.1:" ^ string_of_int port ^ "/help"))
+      with Unix.Unix_error (Unix.ECONNREFUSED, _, _) ->
+        raise (Failure "Connection refused"))
    | _ -> failwith "Can't fork :-("
 ;;