X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=components%2Flibrary%2FlibrarySync.ml;h=1e60133a797eefb41e85c46334bac7b607fda499;hb=bb9aa02b52977c05fe678a4e15bfc64e27c2c5f5;hp=8ecabbbb6aeb435b44c735d744d709f37b97007a;hpb=9ebbff1619da00a2d42e04def79c59d129ee4a92;p=helm.git

diff --git a/components/library/librarySync.ml b/components/library/librarySync.ml
index 8ecabbbb6..1e60133a7 100644
--- a/components/library/librarySync.ml
+++ b/components/library/librarySync.ml
@@ -44,7 +44,7 @@ let uris_of_obj uri =
   innertypesuri,bodyuri,univgraphuri
 
 let paths_and_uris_of_obj uri =
-  let resolved = Http_getter.filename' ~writable:true uri in
+  let resolved = Http_getter.filename' ~local:true ~writable:true uri in
   let basepath = Filename.dirname resolved in
   let innertypesuri, bodyuri, univgraphuri = uris_of_obj uri in
   let innertypesfilename=(UriManager.nameext_of_uri innertypesuri)^".xml.gz"in
@@ -164,7 +164,7 @@ let remove_single_obj uri =
   List.iter 
    (fun uri -> 
      (try
-       let file = Http_getter.resolve' ~writable:true uri in
+       let file = Http_getter.resolve' ~local:true ~writable:true uri in
         HExtlib.safe_remove file;
         HExtlib.rmdir_descend (Filename.dirname file)
      with Http_getter_types.Key_not_found _ -> ());