- try
- Http_getter_storage.filename (uri ^ xml_suffix)
- with Http_getter_storage.Resource_not_found _ -> raise (Key_not_found uri)
+ let uri' = deref_index_theory uri in
+ (try
+ try
+ 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
+ with Http_getter_storage.Resource_not_found _ -> raise (Key_not_found uri))