From 2066e0e9fcd678b61fcf7911ea3976344d5a85ab Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Tue, 3 Oct 2006 11:33:14 +0000 Subject: [PATCH] sequent_viewer.xml & co are now generated in /tmp if necessary! --- matita/matitaMathView.ml | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/matita/matitaMathView.ml b/matita/matitaMathView.ml index 544b4f595..4b54f60ac 100644 --- a/matita/matitaMathView.ml +++ b/matita/matitaMathView.ml @@ -550,7 +550,8 @@ object (self) ids_to_terms, ids_to_hypotheses, ids_to_father_ids, Hashtbl.create 1, None)); if BuildTimeConf.debug then begin - let name = "sequent_viewer.xml" in + let name = + "/tmp/sequent_viewer_" ^ string_of_int (Unix.getuid ()) ^ ".xml" in HLog.debug ("load_sequent: dumping MathML to ./" ^ name); ignore (domImpl#saveDocumentToFile ~name ~doc:mathml ()) end; @@ -572,7 +573,8 @@ object (self) self#thaw | _ -> if BuildTimeConf.debug then begin - let name = "cic_browser.xml" in + let name = + "/tmp/cic_browser_" ^ string_of_int (Unix.getuid ()) ^ ".xml" in HLog.debug ("cic_browser: dumping MathML to ./" ^ name); ignore (domImpl#saveDocumentToFile ~name ~doc:mathml ()) end; -- 2.39.2