]> matita.cs.unibo.it Git - helm.git/commitdiff
fixed clean that wasn't returning the right list of uris owned by the user
authorEnrico Tassi <enrico.tassi@inria.fr>
Mon, 23 May 2005 11:53:08 +0000 (11:53 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Mon, 23 May 2005 11:53:08 +0000 (11:53 +0000)
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