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

Plasma	GitLab	Archive
Projects	Blog	Knowledge