Plasma GitLab Archive
Projects Blog Knowledge

Class type Rpc_client.auth_session

class type auth_session = object .. end
An auth_session object is normally created for every client instance. It contains the current state of authentication. The methods are only interesting for implementors of authentication methods.

This class type might be revised in the future to allow asynchronous authentication (authentication often uses some network service).

method next_credentials : t -> string * string * string * string
Returns (cred_flavour, cred_data, verifier_flavor, verifier_date)
method server_rejects : Rpc.server_error -> unit
Called if the server rejects the credentials or the verifier (Auth_xxx). This method may raise an exception to indicate that authentication has finally failed.
method server_accepts : string -> string -> unit
Called if the server accepts the credentials. The two strings are the returned verifier_flavor and verifier_data. This method may raise Rpc_server Rpc_invalid_resp to indicate that the returned verifier is wrong.
This web site is published by Informatikbüro Gerd Stolpmann
Powered by Caml