]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/uwobo/src/ocaml/uwobo.ml
snapshot Wed, 27 Nov 2002 18:10:57 +0100
[helm.git] / helm / uwobo / src / ocaml / uwobo.ml
index 625455469527cd05e696ba0bc73107a9b95b633d..334255b408e69d60414908bbdeb51dd442c010ef 100644 (file)
@@ -157,7 +157,8 @@ let callback req outchan =
         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 input = styles#domImpl#createDocumentFromURI ~uri:xmluri () in
+        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? *)
@@ -174,9 +175,7 @@ let callback req outchan =
         syslogger#log
           `Debug
           (sprintf "saving output document to %s ..." tempfile);
-        let res =
-          styles#domImpl#saveDocumentToFile ~doc:output ~name:tempfile ()
-        in
+        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 ....";