diff options
| author | Clombrong <cromblong@egregore.fun> | 2025-06-28 18:29:50 +0200 |
|---|---|---|
| committer | Clombrong <cromblong@egregore.fun> | 2025-06-28 18:46:58 +0200 |
| commit | 96b01e8304d30dd86969be9ad88638576af9db83 (patch) | |
| tree | 2cd618978209a5f185cccfa5a476fd49cca8cb1a /portal/tcp | |
| parent | 9aeae3482c3de81b3bd13ca0e52f344b51fa7799 (diff) | |
feat(portal): remove location in MalformedStanza
what were you gonna do with that information anyway?
Diffstat (limited to 'portal/tcp')
| -rw-r--r-- | portal/tcp/portal.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/portal/tcp/portal.ml b/portal/tcp/portal.ml index b39c0c0..6b7bff6 100644 --- a/portal/tcp/portal.ml +++ b/portal/tcp/portal.ml @@ -12,7 +12,7 @@ type t = { let xmlns = "http://etherx.jabber.org/streams" -exception MalformedStanza of Markup.location * Markup.Error.t +exception MalformedStanza of Markup.Error.t let header ?from domain ({stream; push; _} : t) = let stanza = @@ -156,7 +156,7 @@ let socket_to_stream (sock : socket) = in let push = function | None -> outbound_push None | Some signals -> Markup.iter (fun f -> outbound_push (Some f)) signals - and report loc err = raise (MalformedStanza (loc, err)) in + and report _ err = raise (MalformedStanza err) in let open Markup_lwt in let stream = raw_stream |> lwt_stream |