]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/metadata/metadataDb.ml
fixed clean that wasn't returning the right list of uris owned by the user
[helm.git] / helm / ocaml / metadata / metadataDb.ml
index e20e000023e87b8f96a58a9ac629d63fc7e6e2b0..d82894ed6f67ba9287a727c12b64df98b9f07389 100644 (file)
@@ -175,12 +175,11 @@ let index_obj ~dbd ~uri =
   
 
 let tables_to_clean =
-  [sort_tbl; rel_tbl; obj_tbl; (*conclno_tbl; fullno_tbl; hypno_tbl;*) name_tbl;
-  count_tbl]
+  [sort_tbl; rel_tbl; obj_tbl; name_tbl; count_tbl]
 
 let clean ~(dbd:Mysql.dbd) =
   let owned_uris =  (* list of uris in list-of-columns format *)
-    let query = sprintf "SELECT source FROM %s" (obj_tbl ()) in
+    let query = sprintf "SELECT source FROM %s" (name_tbl ()) in
     let result = Mysql.exec dbd query in
     let uris = Mysql.map result (fun cols ->
       match cols.(0) with