diff options
Diffstat (limited to 'portal')
| -rw-r--r-- | portal/tcp/portal.ml | 2 | ||||
| -rw-r--r-- | portal/ws/portal.ml | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/portal/tcp/portal.ml b/portal/tcp/portal.ml index 6b7bff6..cec5212 100644 --- a/portal/tcp/portal.ml +++ b/portal/tcp/portal.ml @@ -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 _ err = raise (MalformedStanza err) in + and report _ err = Lwt.fail (MalformedStanza err) in let open Markup_lwt in let stream = raw_stream |> lwt_stream 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. *) |