Plasma GitLab Archive
Projects Blog Knowledge

Previous  Up  Next

Class type Http_client.key


class type key = object .. end
A key is a user/password combination for a certain realm
method user : string
The user name
method password : string
The password in cleartext
method realm : string
The realm
method domain : string list
The domain URIs defining the protection space. The domain URIs are absolute URIs. The list must not be empty.
This web site is published by Informatikbüro Gerd Stolpmann
Powered by Caml