Some (G.getxml (U.cicuri_of_uri bodyuri))
in
let annobj = CicParser.annobj_of_xml cicfilename cicbodyfilename in
+ Unix.unlink cicfilename ;
+ (match cicbodyfilename with None -> () | Some fn -> Unix.unlink fn) ;
annobj,
if U.uri_is_annuri uri then
begin
let annfilename = G.getxml (U.annuri_of_uri uri) in
- Some (CicAnnotationParser.get_annotations annfilename)
+ let res =
+ Some (CicAnnotationParser.get_annotations annfilename)
+ in
+ Unix.unlink annfilename ;
+ res
end
else
None