X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fmatita%2FmatitaDb.ml;h=d4f5d01b1979246528a51eee128d46e4e175d214;hb=349a0e23813a7f33853e1f8fe48230276ac22934;hp=878bd4fe7656dbeba5326b572967d666643a86c5;hpb=11d81280208345b189c174e2ae19a6ab45e2b03a;p=helm.git

diff --git a/helm/matita/matitaDb.ml b/helm/matita/matitaDb.ml
index 878bd4fe7..d4f5d01b1 100644
--- a/helm/matita/matitaDb.ml
+++ b/helm/matita/matitaDb.ml
@@ -65,7 +65,10 @@ let clean_owner_environment () =
     (fun uri ->
       let uri = Pcre.replace ~rex:xpointer_RE ~templ:"" uri in
       List.iter
-        (fun suffix -> Http_getter.unregister (uri ^ suffix))
+        (fun suffix -> 
+          (*prerr_endline ("unregistering " ^ uri ^ suffix);*)
+          Http_getter.unregister (uri ^ suffix))
+        
         [""; ".body"; ".types"])
     owned_uris;
   List.iter (fun statement -> 
@@ -135,7 +138,8 @@ let remove_uri uri =
   [obj_tbl;sort_tbl;rel_tbl;name_tbl;(*conclno_tbl;conclno_hyp_tbl*)count_tbl];
   (* and now the debug job *)  
   let dbg_q = 
-    sprintf "SELECT source FROM %s WHERE h_occurrence LIKE '%s%%'" obj_tbl suri
+    sprintf "SELECT source FROM %s WHERE h_occurrence LIKE '%s%%'" obj_tbl
+    (Mysql.escape suri)
   in
   try 
     let rc = Mysql.exec dbd dbg_q in