X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=components%2Flibrary%2FlibraryMisc.ml;h=7c82e27c40f3dd9564674e6d8c7c3c1a2ffb13d8;hb=699d76ddae765f0a927648cddf624b540743f225;hp=e971c52d4b09cfe489ac27facb5e0c43729de748;hpb=d90d73349df641ea2d18b4c2ff4fe9d970861778;p=helm.git

diff --git a/components/library/libraryMisc.ml b/components/library/libraryMisc.ml
index e971c52d4..7c82e27c4 100644
--- a/components/library/libraryMisc.ml
+++ b/components/library/libraryMisc.ml
@@ -25,16 +25,14 @@
 
 (* $Id$ *)
 
-let resolve ~must_exist ~writable baseuri = 
+let resolve ~must_exist ~writable ~local baseuri = 
   if must_exist then 
-    Http_getter.resolve ~writable baseuri
+    Http_getter.resolve ~local ~writable baseuri
   else 
-    Http_getter.filename ~writable baseuri
+    Http_getter.filename ~local ~writable baseuri
 
 let obj_file_of_baseuri ~must_exist ~writable ~baseuri = 
-  resolve ~must_exist ~writable baseuri ^ ".moo"
+  resolve ~must_exist ~writable ~local:true baseuri ^ ".moo"
 let lexicon_file_of_baseuri ~must_exist ~writable ~baseuri = 
-  resolve ~must_exist ~writable baseuri ^ ".lexicon"
-let metadata_file_of_baseuri~must_exist ~writable  ~baseuri = 
-  resolve ~must_exist ~writable baseuri ^ ".metadata"
+  resolve ~must_exist ~writable ~local:true baseuri ^ ".lexicon"