aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorClombrong <cromblong@egregore.fun>2025-08-14 20:44:34 +0200
committerClombrong <cromblong@egregore.fun>2025-08-14 20:44:34 +0200
commitfc14cd04d0628f232a55a66e6be333ff5653d793 (patch)
tree1c43727ee5af1b848dfc377673f58657e8a41a71
parentc7e8f4df093aff8f9acf35d25c8cf62ff0417013 (diff)
fix(session): remove domain in Starting_stream step
-rw-r--r--lib/session.ml6
1 files changed, 3 insertions, 3 deletions
diff --git a/lib/session.ml b/lib/session.ml
index 58a80db..1bfedf7 100644
--- a/lib/session.ml
+++ b/lib/session.ml
@@ -3,7 +3,7 @@ open Lwt.Infix
open Lwt_react
type connection_step =
- | Starting_stream of string
+ | Starting_stream
| Negotiating_features of Stream.features
type state =
@@ -50,8 +50,8 @@ let create (domain : string) (config : Stream.config) : (state signal * (unit ->
(function
| Opening_portal domain ->
let+ portal = Portal.connect domain
- in update (Connecting (portal, Starting_stream domain))
- | Connecting (portal, Starting_stream domain) ->
+ in update (Connecting (portal, Starting_stream))
+ | Connecting (portal, Starting_stream) ->
let+ features = Stream.start domain portal
in update (Connecting (portal, Negotiating_features features))
| Connecting (portal, Negotiating_features features) ->