diff options
Diffstat (limited to 'portal/portal.mli')
| -rw-r--r-- | portal/portal.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/portal/portal.mli b/portal/portal.mli index 52a96ce..b8657ee 100644 --- a/portal/portal.mli +++ b/portal/portal.mli @@ -44,7 +44,7 @@ val starttls : t -> unit Lwt.t the response stream header. When [from] is specified, a from attribute is included. *) -val header : ?from:string -> domain -> t -> string Lwt.t +val header : ?from:string -> t -> string Lwt.t (** [_encrypted socket] returns whether [socket] is encrypted, using TLS or otherwise. *) val _encrypted : socket -> bool |