diff options
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 |