diff options
| author | Clombrong <cromblong@egregore.fun> | 2025-06-29 21:06:26 +0200 |
|---|---|---|
| committer | Clombrong <cromblong@egregore.fun> | 2025-06-29 21:06:26 +0200 |
| commit | 20f32bd13a8f79e123dd31d79fc119e99eb4334f (patch) | |
| tree | 400a94ae06b00ca9da054f715717b7555d8a4520 /lib/starttls.ml | |
| parent | a70e59463f743830f64f743f8b6c081794b4eaaf (diff) | |
style(starttls): rename prefer_starttls to prefer
Diffstat (limited to 'lib/starttls.ml')
| -rw-r--r-- | lib/starttls.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/starttls.ml b/lib/starttls.ml index 9d09e3e..7a74b11 100644 --- a/lib/starttls.ml +++ b/lib/starttls.ml @@ -4,9 +4,9 @@ open Xml (** This type is used to configure the STARTTLS handshake during the stream negotiation. When the XMPP server advertises optional STARTTLS support, whether the connection - will be upgraded to STARTTLS depends on [prefer_starttls]. *) + will be upgraded to STARTTLS depends on [prefer]. *) type config = { - prefer_starttls : bool + prefer: bool } exception TLSError |