let cicfilename = G.getxml (U.cicuri_of_uri uri) in
match (U.bodyuri_of_uri uri) with
None ->
- CicParser.annobj_of_xml cicfilename None
+ let annobj = CicParser.annobj_of_xml cicfilename None in
+ Unix.unlink cicfilename ;
+ annobj
| Some bodyuri ->
let cicbodyfilename = G.getxml (U.cicuri_of_uri bodyuri) in
- CicParser.annobj_of_xml cicfilename (Some cicbodyfilename)
+ let annobj =
+ CicParser.annobj_of_xml cicfilename (Some cicbodyfilename)
+ in
+ Unix.unlink cicfilename ;
+ Unix.unlink cicbodyfilename ;
+ annobj
;;
let get_obj uri =
let cicfilename = G.getxml (U.cicuri_of_uri uri) in
match (U.bodyuri_of_uri uri) with
None ->
- CicParser.obj_of_xml cicfilename None
+ let obj = CicParser.obj_of_xml cicfilename None in
+ Unix.unlink cicfilename ;
+ obj
| Some bodyuri ->
let cicbodyfilename = G.getxml (U.cicuri_of_uri bodyuri) in
- CicParser.obj_of_xml cicfilename (Some cicbodyfilename)
+ let obj = CicParser.obj_of_xml cicfilename (Some cicbodyfilename) in
+ Unix.unlink cicfilename ;
+ Unix.unlink cicbodyfilename ;
+ obj
;;