diff options
| author | Clombrong <cromblong@egregore.fun> | 2025-06-26 11:15:58 +0200 |
|---|---|---|
| committer | Clombrong <cromblong@egregore.fun> | 2025-06-26 16:26:00 +0200 |
| commit | 89bd44ddf5e253c4acf8a2b452b28346a4c8eedf (patch) | |
| tree | f96477b4bd6c0278ce4363d87190969facae8bc5 /portal/ws | |
| parent | 0baebf01516b68f07fe69038828f503a517b0d34 (diff) | |
refactor(portal_ws): stanza_close to close
Diffstat (limited to 'portal/ws')
| -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 |