aboutsummaryrefslogtreecommitdiff
path: root/portal/lib/portal.mli
diff options
context:
space:
mode:
authorClombrong <cromblong@egregore.fun>2025-06-17 23:40:39 +0200
committerClombrong <cromblong@egregore.fun>2025-06-17 23:41:19 +0200
commit7a1b6a1d14b549de17c4f98b3a4ed80027f1fcac (patch)
treecf5f2f297715cee08f5fb2e3ab965babdb7c9a2f /portal/lib/portal.mli
parentc91d16adf3253ff1224fb093c7708964e6b2a978 (diff)
feat(portal-websockets): return a stream of signals with stanza_close
Diffstat (limited to 'portal/lib/portal.mli')
-rw-r--r--portal/lib/portal.mli2
1 files changed, 1 insertions, 1 deletions
diff --git a/portal/lib/portal.mli b/portal/lib/portal.mli
index 7f9dc0d..7b8a30a 100644
--- a/portal/lib/portal.mli
+++ b/portal/lib/portal.mli
@@ -4,6 +4,6 @@ type t = string Lwt_stream.t * (string option -> unit)
val stanza_open : ?from:string -> string -> (signal, sync) stream
-val stanza_close : string
+val stanza_close : (signal, sync) stream
val connect : string -> t Lwt.t