]> matita.cs.unibo.it Git - helm.git/commitdiff
stylesheet application moved after header send
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 23 Jun 2008 13:12:34 +0000 (13:12 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 23 Jun 2008 13:12:34 +0000 (13:12 +0000)
helm/software/daemons/uwobo/Makefile
helm/software/daemons/uwobo/uwobo.ml
helm/software/daemons/uwobo/uwobo_engine.ml

index 40434ed495580c9d326e5724b675fda869a39e23..29e1f352b42cf40e8b309cc60387ba1fa58236a4 100644 (file)
@@ -2,7 +2,7 @@ VERSION = 0.3.0
 DISTDIR = uwobo-$(VERSION)
 DISTTARBALL = $(DISTDIR).tar.gz
 REQUIRES = http gdome2 gdome2-xslt pcre unix helm-registry
-COMMONOPTS = -package "$(REQUIRES)" -pp camlp4o
+COMMONOPTS = -package "$(REQUIRES)" -pp camlp4o -rectypes
 ifeq ($(origin OCAMLPATH), undefined)
 OCAMLFIND = OCAMLPATH=../../components/METAS ocamlfind
 else
index e7aa1e8f9fc478d8589c3bf749f5a98aa1340280..fc2d5d02bb2ba486714f73e1616b5c78c2432878 100644 (file)
@@ -481,7 +481,7 @@ let callback
         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
+        basis (i.e. param.key.param=value), "global" parameters are those
         defined for all stylesheets (i.e. param.param=value) *)
         let (user_params, props) = parse_apply_params req#params in
        let profile_params =
index 03a3b424d726f1c65faa2693529fc06b9415dd41..f0b8b97226e818567c01e94ac221d5c4eaf8670d 100644 (file)
@@ -202,7 +202,7 @@ let apply
   let (p_stylesheets,last_stylesheet) = styles#get keys props logger in
   logger#log `Debug "Creating input document ...";
   let intermediate_results_seqno = ref 0 in
-  let result = (* Gdome.document *)
+  let result () = (* Gdome.document *)
     List.fold_left
       (fun source (key, stylesheet) ->
         logger#log `Debug (sprintf "Applying stylesheet %s ..." key);
@@ -245,8 +245,11 @@ let apply
       input
       p_stylesheets
   in
+  let p_last_stylesheet = snd (List.hd (List.rev p_stylesheets)) in
+  ((fun outchan ->                              (* serialization function *)
+      let result = result () in
     (* add error and debugging messages to result document *)
-  add_msgs ~errormode ~debugmode ~msgs:veillogger#msgs result;
+      add_msgs ~errormode ~debugmode ~msgs:veillogger#msgs result;
 (*
   (* DEBUGGING *)
   add_msgs
@@ -254,10 +257,7 @@ let apply
     ~msgs:[LibXsltErrorMsg "error1"; LibXsltDebugMsg "debug1"]
     result;
 *)
-  let p_last_stylesheet = snd (List.hd (List.rev p_stylesheets)) in
-  ((fun outchan ->                              (* serialization function *)
       Gdome_xslt.saveResultToChannel ~outchan ~result
         ~stylesheet:p_last_stylesheet),
    (get_property "media-type" last_stylesheet), (* media-type *)
    (get_property "encoding" last_stylesheet))   (* encoding *)
-