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
class type g_status =
object
+ inherit NCicEnvironment.g_status
method lib_db : db
end
method set_timestamp v = {< timestamp = v >}
method set_lib_db v = {< lib_db = v >}
method set_lib_status : 's.#g_status as 's -> 'self
- = fun o -> {< lib_db = o#lib_db >}
+ = fun o -> {< lib_db = o#lib_db >}#set_env_status o
end
let reset_timestamp st =
(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