diff options
Diffstat (limited to 'portal/portal.mli')
| -rw-r--r-- | portal/portal.mli | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/portal/portal.mli b/portal/portal.mli index 62a7bd7..ed8765d 100644 --- a/portal/portal.mli +++ b/portal/portal.mli @@ -38,3 +38,6 @@ val starttls : t -> unit Lwt.t When [from] is specified, a from attribute is included. *) val header : ?from:string -> string -> t -> string Lwt.t + +(** [_encrypted socket] returns whether [socket] is encrypted, using TLS or otherwise. *) +val _encrypted : socket -> bool |