class type server_props = object
.. end
Return properties of the server context
method mech_type : oid
Actual mechanism
method flags : ret_flag list
Actual flags
method time : time
Actual context lifetime
method initiator_name : string * oid
The name of the initiator. string and oid
may be empty
method initiator_name_exported : string
The name of the initiator in exported format
method deleg_credential : (exn * time) option
If a credential was delegated it is returned here as (e,t)
.
e
is the exception G.Credential
from the GSSAPI provider.