module Default:PROFILE
The default profile for Netmech_spnego_http: Use spnego_trans_id for
the https transport, and reject any unencrypted transport (empty list).
Delegations are off.
val acceptable_transports_http : Nethttp.transport_layer_id listWhich transport IDs are acceptable for authenticated requests on unencrypted connections. For new requests, the first ID of this list is the preferred ID.
val acceptable_transports_https : Nethttp.transport_layer_id listWhich transport IDs are acceptable for authenticated requests on HTTPS-secured connections. For new requests, the first ID of this list is the preferred ID.
val enable_delegation : boolWhether to allow delegation of the credentials to the server. Enabling this means that the server can impersonate the local identity, so use with care. Also, getting tokens carrying the delegation information can be time-consuming (and the HTTP client will simply block while doing so).
val deleg_credential : exn optionIf you already have a credential, you can set this value to
the exception Credential c (from the GSSAPI provider).
