if String.length uri < 5 || String.sub uri 0 5 <> "cic:/" then
HLog.error (file ^ " sets an incorrect baseuri: " ^ buri);
(try
- ignore(Http_getter.resolve uri)
+ ignore(Http_getter.resolve ~writable:false uri)
with
| Http_getter_types.Unresolvable_URI _ ->
HLog.error (file ^ " sets an unresolvable baseuri: " ^ buri)