Plasma GitLab Archive
Projects Blog Knowledge

Class Http_client.key_ring

class key_ring : ?uplink:#key_handler -> unit -> object .. end
The key_ring is a cache for keys. The optional uplink handler is invoked when no matching key is found in the cache.
method clear : unit -> unit
Deletes all keys from this key ring
method add_key : key -> unit
Adds a key to the ring
method keys : key list
List of all known keys
This web site is published by Informatikbüro Gerd Stolpmann
Powered by Caml