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