Module Krb_public.On_credential_forwarding_requestSource

Sourcetype t =
  1. | Deny
    (*

    Don't forward credentials.

    *)
  2. | Allow_server_to_impersonate_me of {
    1. forwardable_tkt : bool;
    }
    (*

    The client credentials are sent to the server to be used to carry out actions on your behalf. This allows the server to impersonate you, thus use this only if you know what you are doing and it is strictly necessary. forwardable_tkt determines whether the forwarded ticket is forwardable again.

    *)