diff options
| author | Clombrong <cromblong@egregore.fun> | 2025-08-15 00:17:29 +0200 |
|---|---|---|
| committer | Clombrong <cromblong@egregore.fun> | 2025-08-15 00:17:29 +0200 |
| commit | 383928958376423d8588888386b52e4a8b30d8da (patch) | |
| tree | 5edd1dcb637e1de8b3c2276978db9134d57ea36f /portal/portal.mli | |
| parent | e9c9de288d9934a252dcef58b935ce6e145a65cd (diff) | |
feat!(portal): remove domain field from Portal.header (useless now)
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 |