let path = String.sub uri 4 (String.length uri - 4) in
let path = match user with
| Some u -> "/" ^ u ^ path
- | _ -> path
+ | _ -> prerr_endline "WARNING: ng_path_of_baseuri called without a uid"; path
in
let path = Helm_registry.get "matita.basedir" ^ path in
let dirname = Filename.dirname path in
(fun (_,name',nref) -> if name'=name then Some nref else None)
(!(st#lib_db.local_aliases) @ get_global_aliases ())
with
- Not_found -> raise (NCicEnvironment.ObjectNotFound (lazy name))
+ Not_found ->
+ (prerr_endline ("can't resolve object " ^ name);
+ raise (NCicEnvironment.ObjectNotFound (lazy name)))
;;
let aliases_of st uri =
with Not_found ->*)
try fetch_obj (status#user) status u
with Sys_error _ ->
- raise (NCicEnvironment.ObjectNotFound (lazy (NUri.string_of_uri u)))
+ (prerr_endline ("can't fetch object " ^ NUri.string_of_uri u);
+ raise (NCicEnvironment.ObjectNotFound (lazy (NUri.string_of_uri u))))
;;
NCicEnvironment.set_get_obj