let resolve ~writable uri =
if remote () then
resolve_remote ~writable uri
else
let uri = deref_index_theory uri in
try
let resolve ~writable uri =
if remote () then
resolve_remote ~writable uri
else
let uri = deref_index_theory uri in
try
with Http_getter_storage.Resource_not_found _ -> raise (Key_not_found uri)
let filename ~writable uri =
with Http_getter_storage.Resource_not_found _ -> raise (Key_not_found uri)
let filename ~writable uri =