From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Mon, 23 May 2005 11:53:08 +0000 (+0000)
Subject: fixed clean that wasn't returning the right list of uris owned by the user
X-Git-Tag: single_binding~25
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=e438acb0f220a41e76410786bd628454e5465341;p=helm.git

fixed clean that wasn't returning the right list of uris owned by the user
---

diff --git a/helm/ocaml/metadata/metadataDb.ml b/helm/ocaml/metadata/metadataDb.ml
index e20e00002..d82894ed6 100644
--- a/helm/ocaml/metadata/metadataDb.ml
+++ b/helm/ocaml/metadata/metadataDb.ml
@@ -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