From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Wed, 12 Jul 2006 14:56:44 +0000 (+0000)
Subject: bugfix: remove all generated temp files
X-Git-Tag: make_still_working~7081
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=2583e6d6a29b9420228a87c4eff65248aa7b95ca;p=helm.git

bugfix: remove all generated temp files
---

diff --git a/helm/software/matita/lablGraphviz.ml b/helm/software/matita/lablGraphviz.ml
index fab25cba6..d5e06c265 100644
--- a/helm/software/matita/lablGraphviz.ml
+++ b/helm/software/matita/lablGraphviz.ml
@@ -66,11 +66,12 @@ class graphviz_impl ?packing gviz_cmd =
       ignore (Sys.command (sprintf "%s %s %s > %s"
         gviz_cmd png_flags fname tmp_png));
       image#set_file tmp_png;
+      HExtlib.safe_remove tmp_png;
       let tmp_map = tempfile () in
       ignore (Sys.command (sprintf "%s %s %s > %s"
         gviz_cmd map_flags fname tmp_map));
       self#load_map tmp_map;
-      HExtlib.safe_remove tmp_png
+      HExtlib.safe_remove tmp_map
 
     method private load_map fname =
       let areas = ref [] in