(* <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"
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