]> matita.cs.unibo.it Git - helm.git/blobdiff - components/binaries/table_creator/table_creator.ml
maxipatch for support of multiple DBs.
[helm.git] / components / binaries / table_creator / table_creator.ml
index 423edfb275850908fec3e2d8cff502f50dc99e60..c735fe67f414ad40aee655a07add494ee4c7e577 100644 (file)
@@ -50,10 +50,14 @@ let main () =
     begin
       let tab,idx,fill =
         if am_i_destructor () then
-          (SqlStatements.drop_tables,SqlStatements.drop_indexes,
+          (SqlStatements.drop_tables,
+            (fun x ->
+              let dbd = HSql.fake_db_for_mysql HSql.Library in     
+              SqlStatements.drop_indexes x HSql.Library dbd),
            fun _ t -> [sprintf "DELETE * FROM %s;" t])
         else
-          (SqlStatements.create_tables,SqlStatements.create_indexes,
+          (SqlStatements.create_tables, 
+           SqlStatements.create_indexes, 
            SqlStatements.fill_hits)
       in
       let from = 2 in