From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Mon, 18 Jul 2005 14:37:19 +0000 (+0000)
Subject: ANALYZE TABLE ==> OPTIMIZE TABLE
X-Git-Tag: V_0_7_2~197
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=7033b0a141f65fd75b435a6f71325ca67f19db61;p=helm.git

ANALYZE TABLE ==> OPTIMIZE TABLE
---

diff --git a/helm/ocaml/metadata/metadataDb.ml b/helm/ocaml/metadata/metadataDb.ml
index f18787e83..84e8fad71 100644
--- a/helm/ocaml/metadata/metadataDb.ml
+++ b/helm/ocaml/metadata/metadataDb.ml
@@ -169,7 +169,7 @@ let eventually_analyze dbd =
   incr analyze_index;
   if !analyze_index > 30 then
     begin
-      let analyze t = "ANALYZE TABLE " ^ t ^ ";" in
+      let analyze t = "OPTIMIZE TABLE " ^ t ^ ";" in
       List.iter 
         (fun table -> ignore (Mysql.exec dbd (analyze table)))
         [name_tbl (); rel_tbl (); sort_tbl (); obj_tbl(); count_tbl()]