UM.buri_of_uri (UM.uri_of_string suri)
with UM.IllFormedUri _ ->
let _,u,_,_ = Librarian.baseuri_of_script ~include_paths:[] suri in
- if String.length u < 5 || String.sub u 0 5 <> "cic:/" then begin
- HLog.error (sprintf "File %s defines a bad baseuri: %s"
- suri u);
+ if Librarian.is_uri u then u else begin
+ HLog.error (sprintf "File %s defines a bad baseuri: %s" suri u);
exit 1
- end else
- u
+ end
in
uri::uris_to_remove) [] files
in