(******************************************************************************)
let get_annobj uri =
- let module G = Getter in
let module U = UriManager in
- let cicfilename = G.getxml (U.cicuri_of_uri uri) in
+ let cicfilename = Http_getter.getxml' (U.cicuri_of_uri uri) in
let cicbodyfilename =
match U.bodyuri_of_uri uri with
None -> None
- | Some bodyuri ->
- Some (G.getxml (U.cicuri_of_uri bodyuri))
+ | Some bodyuri -> Some (Http_getter.getxml' (U.cicuri_of_uri bodyuri))
in
let annobj = CicParser.annobj_of_xml cicfilename cicbodyfilename in
Unix.unlink cicfilename ;
annobj,
if U.uri_is_annuri uri then
begin
- let annfilename = G.getxml (U.annuri_of_uri uri) in
+ let annfilename = Http_getter.getxml' (U.annuri_of_uri uri) in
let res =
Some (CicAnnotationParser.get_annotations annfilename)
in