Up – Package index » krb » Library krb.internal » Krb_internal_public » Get_init_creds_opts

Module `Krb_internal_public.Get_init_creds_opts`Source

Get_init_creds_opts.t stores options for getting credentials from the KDC. It is used to change ticket lifetimes and flags for requested tickets.

Sourcetype t

krb5_get_init_creds_opt

Source

val create : 
  ?tkt_lifetime:Core.Time_float.Span.t ->
  ?renew_lifetime:Core.Time_float.Span.t ->
  ?forwardable:bool ->
  ?proxiable:bool ->
  unit ->
  t

Sourceval default : t

Sourcemodule Raw : sig ... end

Sourceval to_raw : t -> Raw.t Async.Deferred.Or_error.t