let uri = deref_index_theory uri in
Http_getter_storage.exists (uri ^ xml_suffix)
+let is_an_obj s =
+ try
+ s <> UriManager.buri_of_uri (UriManager.uri_of_string s)
+ with UriManager.IllFormedUri _ -> true
+
let resolve ~writable uri =
if remote () then
resolve_remote ~writable uri
else
let uri = deref_index_theory uri in
try
- Http_getter_storage.resolve ~writable (uri ^ xml_suffix)
+ if is_an_obj uri then
+ Http_getter_storage.resolve ~writable (uri ^ xml_suffix)
+ else
+ Http_getter_storage.resolve ~writable uri
with Http_getter_storage.Resource_not_found _ -> raise (Key_not_found uri)
let filename ~writable uri =