]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/graphs/tools/drawGraph.ml
ported to latest ocaml-http API
[helm.git] / helm / graphs / tools / drawGraph.ml
index 1a980fede0d3559e1b0625e28539e4093584ad04..9f86feeb074de7700501acc7196f168d5b7fc276 100644 (file)
@@ -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