From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Thu, 19 May 2005 10:00:16 +0000 (+0000)
Subject: changed debugging code which saves xml input document and input uri so
X-Git-Tag: single_binding~37
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=ab6418f3f81a8a3023a550243a853f295f843cc1;p=helm.git

changed debugging code which saves xml input document and input uri so
that it is automatically enabled with debugging
---

diff --git a/helm/uwobo/uwobo.ml b/helm/uwobo/uwobo.ml
index ec5cc5203..1a5b44f62 100644
--- a/helm/uwobo/uwobo.ml
+++ b/helm/uwobo/uwobo.ml
@@ -517,10 +517,18 @@ let callback
         syslogger#log `Debug (sprintf "Parsing input document %s ..." xmluri);
         let domImpl = Gdome.domImplementation () in
         let input = domImpl#createDocumentFromURI ~uri:xmluri () in
-(*
-let _ = domImpl#saveDocumentToFile ~doc:input ~name:"/tmp/uwobo_doc.xml" () in
-let _ = let oc = open_out "/tmp/uwobo_uri.txt" in output_string oc xmluri; close_out oc in
-*)
+        if debug then begin
+          let tmp_xml, tmp_uri =
+            let dir =
+              Filename.dirname (Helm_registry.get "uwobo.log_basename")
+            in
+            dir ^ "/input.xml", dir ^ "/input.uri"
+          in
+          ignore (domImpl#saveDocumentToFile ~doc:input ~name:tmp_xml ());
+          let oc = open_out tmp_uri in
+          output_string oc xmluri;
+          close_out oc
+        end;
         syslogger#log `Debug "Applying stylesheet chain ...";
         (try
           let (write_result, media_type, encoding) = (* out_channel -> unit *)