Plasma GitLab Archive
Projects Blog Knowledge

sig
  type user_name_format = [ `Exported_name | `Plain_name | `Prefixed_name ]
  val server_auth_method :
    ?shared_context:bool ->
    ?user_name_format:Rpc_auth_gssapi.user_name_format ->
    ?seq_number_window:int ->
    ?max_age:float ->
    (module Netsys_gssapi.GSSAPI->
    Netsys_gssapi.server_config -> Rpc_server.auth_method
  type support_level = [ `If_possible | `None | `Required ]
  type user_name_interpretation =
      [ `Exported_name | `Plain_name of Netsys_gssapi.oid | `Prefixed_name ]
  val client_auth_method :
    ?user_name_interpretation:Rpc_auth_gssapi.user_name_interpretation ->
    (module Netsys_gssapi.GSSAPI->
    Netsys_gssapi.client_config -> Rpc_client.auth_method
  module Debug : sig val enable : bool Stdlib.ref end
end
This web site is published by Informatikbüro Gerd Stolpmann
Powered by Caml