Http_getter_storage.filename (uri' ^ xml_suffix)
with Http_getter_storage.Resource_not_found _ as exn ->
if uri <> uri' then Http_getter_storage.filename (uri ^ xml_suffix)
- else raise exn
+ else raise (Key_not_found uri)
with Http_getter_storage.Resource_not_found _ -> raise (Key_not_found uri))
end