]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/getter/http_getter_common.ml
- logging of long-running actions (like update) is now sent to the
[helm.git] / helm / ocaml / getter / http_getter_common.ml
index 6ecc75f8155edcc952b4ff7725423ab0cf1bb833..ed9410007617f618470f948f0de54f4ce233741a 100644 (file)
@@ -84,22 +84,6 @@ let patch_dtd line =
       (Lazy.force Http_getter_env.my_own_url))
     line
 
-let pp_error s =
-  sprintf "<html><body>Http Getter error: %s</body></html>" s
-let pp_internal_error s =
-  sprintf "<html><body>Http Getter Internal error: %s</body></html>" s
-let pp_msg s = sprintf "<html><body>%s</body></html>" s
-let null_pp s = s
-
-let mk_return_fun pp_fun contype msg outchan =
-  Http_daemon.respond
-    ~body:(pp_fun msg) ~headers:["Content-Type", contype] outchan
-
-let return_html_error = mk_return_fun pp_error "text/html"
-let return_html_internal_error = mk_return_fun pp_internal_error "text/html"
-let return_html_msg = mk_return_fun pp_msg "text/html"
-let return_html_raw = mk_return_fun null_pp "text/html"
-let return_xml_raw = mk_return_fun null_pp "text/xml"
 let return_file
   ~fname ?contype ?contenc ?(patch_fun = fun x -> x) ?(gunzip = false) outchan
   =
@@ -118,21 +102,24 @@ let return_file
     let (tmp1, tmp2) =
       (Http_getter_misc.tempfile (), Http_getter_misc.tempfile ())
     in
-    Http_getter_misc.gunzip ~keep:true ~output:tmp1 fname;  (* gunzip to tmp1 *)
-    let new_file = open_out tmp2 in
-    Http_getter_misc.iter_file  (* tmp2 = patch(tmp1) *)
-      (fun line -> output_string new_file (patch_fun line ^ "\n"))
-      tmp1;
-    close_out new_file;
-    Http_getter_misc.gzip ~output:tmp1 tmp2;  (* tmp1 = gzip(tmp2); rm tmp2 *)
-    Http_getter_misc.iter_file  (* send tmp1 to client as is*)
-      (fun line -> output_string outchan (line ^ "\n"))
-      tmp1;
-    Sys.remove tmp1       (* rm tmp1 *)
+    try
+      Http_getter_misc.gunzip ~keep:true ~output:tmp1 fname;(* gunzip to tmp1 *)
+      let new_file = open_out tmp2 in
+      Http_getter_misc.iter_file  (* tmp2 = patch(tmp1) *)
+        (fun line -> output_string new_file (patch_fun line ^ "\n"))
+        tmp1;
+      close_out new_file;
+      Http_getter_misc.gzip ~output:tmp1 tmp2;  (* tmp1 = gzip(tmp2); rm tmp2 *)
+      Http_getter_misc.iter_file  (* send tmp1 to client as is*)
+        (fun line -> output_string outchan (line ^ "\n"))
+        tmp1;
+      Sys.remove tmp1       (* rm tmp1 *)
+    with e ->
+      Sys.remove tmp1;
+      raise e
   end else  (* no need to gunzip, apply patch_fun directly to file *)
     Http_getter_misc.iter_file
       (fun line -> output_string outchan (patch_fun line ^ "\n"))
       fname
 ;;
-let return_400 body outchan = Http_daemon.respond_error ~code:400 ~body outchan