aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorClombrong <cromblong@egregore.fun>2025-08-04 12:21:46 +0200
committerClombrong <cromblong@egregore.fun>2025-08-11 11:39:53 +0200
commit78af2bac103ade168409506ce07b58654de524b3 (patch)
tree627f0deede44fd8553a84e25a7649e207000cb2e
parent4ff73a6c5562092abc262d9f7af0a2357aaa1168 (diff)
feat(session): add states connecting and connected
-rw-r--r--lib/session.ml2
1 files changed, 2 insertions, 0 deletions
diff --git a/lib/session.ml b/lib/session.ml
index 1b591b5..5b61346 100644
--- a/lib/session.ml
+++ b/lib/session.ml
@@ -3,6 +3,8 @@ open Lwt.Infix
type state =
| Disconnected
+ | Connecting
+ | Connected of Portal.t * Stream.features
(** [connect domain config] is a promise containing the portal connected to the XMPP
server located at [domain], and all its supported features.