diff options
| author | Clombrong <cromblong@egregore.fun> | 2025-06-28 18:31:29 +0200 |
|---|---|---|
| committer | Clombrong <cromblong@egregore.fun> | 2025-06-28 18:47:34 +0200 |
| commit | 7fb5351f1a92746eb9d35e73f212400963cf2424 (patch) | |
| tree | 0274b75442ca61fd793a6f48f8f0a4bf03a91ae9 /portal/ws/portal.ml | |
| parent | 96b01e8304d30dd86969be9ad88638576af9db83 (diff) | |
feat(portal_tcp, portal_ws): throw MalformedStanza asynchronously
Diffstat (limited to 'portal/ws/portal.ml')
| -rw-r--r-- | portal/ws/portal.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/portal/ws/portal.ml b/portal/ws/portal.ml index d1e87e7..8160e77 100644 --- a/portal/ws/portal.ml +++ b/portal/ws/portal.ml @@ -132,7 +132,7 @@ let connect domain = (* When sending a malformed stanza (one that Markup.ml doesn't like), a MalformedStanza exception is raised. *) let report _ err = - raise (MalformedStanza err) + Lwt.fail (MalformedStanza err) in (* Consumes a stream of Markup.ml signals into a series of frames sent to the WebSocket. *) |