diff options
| author | Clombrong <cromblong@egregore.fun> | 2025-06-29 05:48:00 +0200 |
|---|---|---|
| committer | Clombrong <cromblong@egregore.fun> | 2025-06-29 05:48:00 +0200 |
| commit | 02970cff77ba21b1f53eebe311fa1d663079e06e (patch) | |
| tree | 2a27bc60737656bf2f575c7763c5e4d5ae48a5d7 /portal | |
| parent | dab5632729652b7559907bfbc50eb216c5333aed (diff) | |
fix(portal_tcp): remove close
Diffstat (limited to 'portal')
| -rw-r--r-- | portal/tcp/portal.ml | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/portal/tcp/portal.ml b/portal/tcp/portal.ml index c767f3e..865e74e 100644 --- a/portal/tcp/portal.ml +++ b/portal/tcp/portal.ml @@ -217,6 +217,3 @@ let header ?from domain (portal : t) = in match id with | Some id -> Lwt.return id | None -> Lwt.fail_with "Invalid stream opening server-side." - -(** [close portal] is a closing tag to the [<stream>] document. *) -let close = [`End_element] |> Markup.of_list |