]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/getter/http_getter.ml
added support for multiple binding of the same prefix (needed by the
[helm.git] / helm / ocaml / getter / http_getter.ml
index e0b948ad9167c0c01db237a2bc0b321c0602d380..795148b4b4edcd0a53e80430e78987e14b3e8642 100644 (file)
@@ -88,7 +88,7 @@ let getter_url () = Helm_registry.get "getter.url"
 
   (* <TODO> *)
 let getxml_remote uri = not_implemented "getxml_remote"
-let getxslt_remote ~patch_dtd uri = not_implemented "getxslt_remote"
+let getxslt_remote uri = not_implemented "getxslt_remote"
 let getdtd_remote uri = not_implemented "getdtd_remote"
 let clean_cache_remote () = not_implemented "clean_cache_remote"
 let list_servers_remote () = not_implemented "list_servers_remote"
@@ -148,25 +148,16 @@ let resolve uri =
     with Http_getter_storage.Resource_not_found _ -> raise (Key_not_found uri)
 
 let getxml uri =
-  if remote () then
-    getxml_remote uri
+  if remote () then getxml_remote uri
   else begin
     try
       Http_getter_storage.filename (uri ^ xml_suffix)
     with Http_getter_storage.Resource_not_found _ -> raise (Key_not_found uri)
   end
 
-let getxslt uri = assert false
-(* let getxslt ?(patch_dtd = true) uri =
-  if remote () then
-    getxslt_remote ~patch_dtd uri
-  else begin
-    let url = resolve uri in
-    let (fname, outchan) = temp_file_of_uri uri in
-    Http_getter_cache.respond_xsl ~via_http:false ~url ~patch:patch_dtd outchan;
-    close_out outchan;
-    fname
-  end *)
+let getxslt uri =
+  if remote () then getxslt_remote uri
+  else Http_getter_storage.filename ~find:true ("xslt:/" ^ uri)
 
 let getdtd uri =
   if remote () then