package krb

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
val cache_type : t -> Cache_type.t Async.Deferred.t
val resolve : string -> t Async.Deferred.Or_error.t
val full_name : t -> string
val get_credentials_for_user : ?tag_error_with_all_credentials:bool -> ?ensure_cached_valid_for_at_least:Core.Time.Span.t -> flags:Krb_flags.Get_credentials.t list -> t -> request:Credentials.t -> Credentials.t Async.Deferred.Or_error.t

See docs for get_credentials. The difference is that this function can get fresh tickets from the KDC where principal t is the server principal, rather than the client. The client may be any existing principal.