X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Flibrary%2FlibraryDb.ml;h=858e4c4ff790e97dee62f215862bf5e55db939a0;hb=4b18357deddbebc2fef6187b8810e7a343b9813b;hp=3ea0f481aacc6ecb6534cc896afa61b1bc310341;hpb=805aeafdb6b3ca42201ba08dea0f84d8b1adc489;p=helm.git

diff --git a/helm/software/components/library/libraryDb.ml b/helm/software/components/library/libraryDb.ml
index 3ea0f481a..858e4c4ff 100644
--- a/helm/software/components/library/libraryDb.ml
+++ b/helm/software/components/library/libraryDb.ml
@@ -69,7 +69,8 @@ let clean_owner_environment () =
       List.iter
         (fun suffix ->
           try
-           HExtlib.safe_remove (Http_getter.resolve (uri ^ suffix))
+           HExtlib.safe_remove 
+             (Http_getter.resolve ~writable:true (uri ^ suffix))
           with Http_getter_types.Key_not_found _ -> ())
         [""; ".body"; ".types"])
     owned_uris;