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.