From 26ad1b50485a8b573eb531549325ad2d645e2ba2 Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Wed, 12 Jul 2006 14:56:44 +0000 Subject: [PATCH] bugfix: remove all generated temp files --- matita/lablGraphviz.ml | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/matita/lablGraphviz.ml b/matita/lablGraphviz.ml index fab25cba6..d5e06c265 100644 --- a/matita/lablGraphviz.ml +++ b/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 -- 2.39.2