diff options
Diffstat (limited to 'portal/ws/portal.ml')
| -rw-r--r-- | portal/ws/portal.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/portal/ws/portal.ml b/portal/ws/portal.ml index b2a3119..fd67ad2 100644 --- a/portal/ws/portal.ml +++ b/portal/ws/portal.ml @@ -46,7 +46,8 @@ let header ?from domain (stream, push) = |> Option.fold ~none:error ~some | _ -> error -let stanza_close = {|<close xmlns="|} ^ xmlns ^ {|" />|} |> string |> parse_xml |> signals +let close (_, p) = + {|<close xmlns="|} ^ xmlns ^ {|" />|} |> string |> parse_xml |> signals |> Option.some |> p exception MalformedStanza of Markup.location * Markup.Error.t |