]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/graphs/tools/drawGraph.ml
ocaml 3.09 transition
[helm.git] / helm / graphs / tools / drawGraph.ml
index 1a980fede0d3559e1b0625e28539e4093584ad04..c17902fbc551dd85e92f0a4a5315fee500d978f7 100644 (file)
@@ -35,7 +35,7 @@ let daemon_name = "Draw Graph";;
 let wget url fname =
   prerr_endline (sprintf "DEBUG: wgetting url '%s'" url);
   let oc = open_out fname in
-  Http_client.http_get_iter (output_string oc) url;
+  Http_user_agent.get_iter (output_string oc) url;
   close_out oc
 ;;
 
@@ -82,11 +82,11 @@ let callback (req: Http_types.request) outchan =
         ignore (Unix.system (
           sprintf "make PID=%s clean_tmp; rm -f prova0.%s.dot" pid pid))
     | invalid_request ->
-        Http_daemon.respond_error ~status:(`Client_error `Bad_request) outchan)
+        Http_daemon.respond_error ~code:(`Status (`Client_error `Bad_request))
+          outchan)
   with
   | Http_types.Param_not_found attr_name ->
-      Http_daemon.respond_error
-        ~status:(`Client_error `Bad_request)
+      Http_daemon.respond_error ~code:(`Status (`Client_error `Bad_request))
         ~body:(sprintf "Parameter '%s' is missing" attr_name)
         outchan
 in