]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/uwobo/src/ocaml/uwobo.ml
- bugfix (or hack, as you wish :-) for recursive invocations problem:
[helm.git] / helm / uwobo / src / ocaml / uwobo.ml
index 334255b408e69d60414908bbdeb51dd442c010ef..af7f47cc4307200368f687e3d48ef29ed90e868d 100644 (file)
@@ -24,6 +24,9 @@
  * http://cs.unibo.it/helm/.
  *)
 
+(* TODO quando si prova ad applicare uno stylesheet che non e' stato caricato
+viene lasciata passare una eccezione Not_found *)
+
 open Printf;;
 open Uwobo_common;;
 
@@ -38,6 +41,8 @@ Http_common.debug := http_debug;;
 let daemon_name = "UWOBO OCaml";;
 let default_port = 8082;;
 let port_env_var = "UWOBO_PORT";;
+let default_media_type = "text/html";;
+let default_encoding = "utf8";;
 let port =
   try
     int_of_string (Sys.getenv port_env_var)
@@ -50,9 +55,8 @@ in
 
   (* facilities *)
 let pp_error = sprintf "<html><body><h1>Error: %s</h1></body></html>" in
-let invocation_error msg outchan =
-  (* return an ok (200) http response, which display in html an invocation error
-  message *)
+let return_error msg outchan =
+  (* return an ok (200) http response, which display in html an error message *)
   Http_daemon.respond ~body:(pp_error msg) outchan
 in
 let bad_request body outchan =  (* return a bad request http response *)
@@ -117,7 +121,7 @@ let callback req outchan =
     | "/add" ->
         (let bindings = req#paramAll "bind" in
         if bindings = [] then
-          invocation_error "No [key,stylesheet] binding provided" outchan
+          return_error "No [key,stylesheet] binding provided" outchan
         else begin
           let log = new Uwobo_logger.processingLogger () in
           List.iter
@@ -147,43 +151,43 @@ let callback req outchan =
         act_on_keys
           req styles outchan
           styles#reload (fun () -> styles#reloadAll) "reloading"
-
     | "/apply" ->
-        (let logger = new Uwobo_logger.processingLogger () in
-        let xmluri = req#param "xmluri" in
-        let keys = Pcre.split ~pat:"," (req#param "keys") in
-        (* notation: "local" parameters are those defined on a per-stylesheet
-        pasis (i.e. param.key.param=value), "global" parameters are those
-        defined for all stylesheets (i.e. param.param=value) *)
-        let (params, props) = parse_apply_params req#params in
-        syslogger#log `Debug (sprintf "Parsing input document %s ..." xmluri);
-        let domImpl = Gdome.domImplementation () in
-        let input = domImpl#createDocumentFromURI ~uri:xmluri () in
-        let output =
-          Uwobo_engine.apply ~logger ~styles ~keys ~input ~params ~props
-          (* TODO uhm ... what to do if Uwobo_failure is raised? *)
-        in
-        syslogger#log `Debug logger#asText;
-        let tempfile = (* temporary file on which save XML output *)
-          (* TODO I don't need a tempfile, but gdome seems not to permit to
-          return the string representation of a Gdome.document *)
-          let inchan = Unix.open_process_in "tempfile --prefix=uwobo" in
-          let name = input_line inchan in
-          close_in inchan;
-          name
-        in
-        syslogger#log
-          `Debug
-          (sprintf "saving output document to %s ..." tempfile);
-        let res = domImpl#saveDocumentToFile ~doc:output ~name:tempfile () in
-        if not res then
-          raise (Uwobo_failure ("unable to save output to file " ^ tempfile));
-        syslogger#log `Debug "sending output to client ....";
-        Http_daemon.send_basic_headers ~code:200 outchan;
-        (* TODO set Content-Type *)
-        Http_daemon.send_CRLF outchan;
-        Http_daemon.send_file ~name:tempfile outchan;
-        Unix.unlink tempfile)
+        if Unix.fork () = 0 then
+          (let logger = new Uwobo_logger.processingLogger () in
+          let xmluri = req#param "xmluri" in
+          let keys = Pcre.split ~pat:"," (req#param "keys") in
+          (* notation: "local" parameters are those defined on a per-stylesheet
+          pasis (i.e. param.key.param=value), "global" parameters are those
+          defined for all stylesheets (i.e. param.param=value) *)
+          let (params, props) = parse_apply_params req#params in
+          syslogger#log `Debug (sprintf "Parsing input document %s ..." xmluri);
+          let domImpl = Gdome.domImplementation () in
+          let input = domImpl#createDocumentFromURI ~uri:xmluri () in
+          syslogger#log `Debug "Applying stylesheet chain ...";
+          try
+            let (write_result, media_type, encoding) = (* out_channel -> unit *)
+              Uwobo_engine.apply
+                ~logger:syslogger ~styles ~keys ~input ~params ~props
+            in
+            let content_type = (* value of Content-Type HTTP response header *)
+              sprintf
+                "%s; charset=%s"
+                (match media_type with None -> default_media_type | Some t -> t)
+                (match encoding with None -> default_encoding | Some e -> e)
+            in
+            syslogger#log
+              `Debug
+              (sprintf
+                "sending output to client (Content-Type: %s)...."
+                content_type);
+            Http_daemon.send_basic_headers ~code:200 outchan;
+            Http_daemon.send_header "Content-Type" content_type outchan;
+            Http_daemon.send_CRLF outchan;
+            write_result outchan
+          with Uwobo_failure errmsg ->
+            return_error
+              (sprintf "Stylesheet chain application failed: %s" errmsg)
+              outchan)
     | "/help" -> Http_daemon.respond ~body:usage_string outchan
     | invalid_request ->
         Http_daemon.respond_error ~status:(`Client_error `Bad_request) outchan)