aboutsummaryrefslogtreecommitdiff
path: root/portal/ws
diff options
context:
space:
mode:
Diffstat (limited to 'portal/ws')
-rw-r--r--portal/ws/portal.ml6
1 files changed, 3 insertions, 3 deletions
diff --git a/portal/ws/portal.ml b/portal/ws/portal.ml
index b313471..496806d 100644
--- a/portal/ws/portal.ml
+++ b/portal/ws/portal.ml
@@ -8,9 +8,9 @@ let sjs = Js.to_string
type socket = WebSockets.webSocket Js.t
type t = {
- stream : (signal, async) stream;
- push : (signal, sync) stream option -> unit;
- _socket : socket;
+ mutable stream : (signal, async) stream;
+ mutable push : (signal, sync) stream option -> unit;
+ mutable _socket : socket;
}
let xmlns = "urn:ietf:params:xml:ns:xmpp-framing"