From 631b38c44ea2616b5e905ec41c2d1f4579869cd3 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Fri, 23 Sep 2005 14:21:09 +0000 Subject: [PATCH] Too many OPTIMIZE TABLES (because of a very stupid bug). --- helm/matita/matitacleanLib.ml | 15 +++++++++------ 1 file changed, 9 insertions(+), 6 deletions(-) diff --git a/helm/matita/matitacleanLib.ml b/helm/matita/matitacleanLib.ml index 3a1d2e3db..dafd8097c 100644 --- a/helm/matita/matitacleanLib.ml +++ b/helm/matita/matitacleanLib.ml @@ -148,9 +148,12 @@ let clean_baseuris ?(verbose=true) buris = List.iter (MatitaSync.remove ~verbose) l; cleaned_no := !cleaned_no + List.length l; if !cleaned_no > 30 then - List.iter - (function table -> - ignore (Mysql.exec (MatitaDb.instance ()) ("OPTIMIZE TABLE " ^ table))) - [MetadataTypes.name_tbl (); MetadataTypes.rel_tbl (); - MetadataTypes.sort_tbl (); MetadataTypes.obj_tbl(); - MetadataTypes.count_tbl()] + begin + cleaned_no := 0; + List.iter + (function table -> + ignore (Mysql.exec (MatitaDb.instance ()) ("OPTIMIZE TABLE " ^ table))) + [MetadataTypes.name_tbl (); MetadataTypes.rel_tbl (); + MetadataTypes.sort_tbl (); MetadataTypes.obj_tbl(); + MetadataTypes.count_tbl()] + end -- 2.39.2