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.

Inherits

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

Plasma	GitLab	Archive
Projects	Blog	Knowledge