module Plasma_ug:Users and groupssig
..end
val req_admin_tables : string list
class type ug_admin =object
..end
class type ug_admin_ro =object
..end
ug_admin
for read-only accesses (for shm)
val parse_ug_admin : (string * string) list -> ug_admin
(table_name,table_contents)
). The tables denoted by
the function req_admin_tables
must be passed as minimum.
Unparseable lines are silently ignored.
User entries referring to nonexisting group entries are silently
ignored.
<type>:<rpc_user>:<rpc_password>:<user>:<group>:<supp_groups>:<verifier>
where:
type
is the string SCRAM-SHA1
(identifying the authentication scheme)rpc_user
: this is a suggestion for a user ID to authenticate as on
the RPC levelrpc_password
: the password of rpc_user
user
: the user name of the principal the ticket is permittinggroup
: the group name of the principalsupp_groups
: a comma-separated list of further groupsverifier
: an int64 verifying the ticket (from Nn_authticket
)type
) are Base64-encoded.val serialize_auth_ticket : rpc_user:string ->
rpc_password:string ->
user:string ->
group:string -> supp_groups:Plasma_util.StrSet.t -> verifier:int64 -> string
val rpc_login_of_auth_ticket : string -> string * string
(rpc_user,rpc_password)
val principal_of_auth_ticket : string -> string * string * Plasma_util.StrSet.t
(user,group,supp_groups)
val verifier_of_auth_ticket : string -> int64
(verifier)