| [< 'tok >] -> parse acc
| [< >] -> acc) tok_stream
with
- Stream.Error _ -> parse acc
+ Stream.Error _ -> parse acc
+ | CicNotationLexer.Error _ -> parse acc
in
List.rev (parse [])
let uri = Http_getter_misc.strip_trailing_slash buri in
if String.length uri < 5 || String.sub uri 0 5 <> "cic:/" then
HLog.error (file ^ " sets an incorrect baseuri: " ^ buri);
- uri
+ uri,file