diff options
author | Clombrong <cromblong@egregore.fun> | 2025-08-15 00:21:36 +0200 |
---|---|---|
committer | Clombrong <cromblong@egregore.fun> | 2025-08-15 00:21:36 +0200 |
commit | 137169b69587e843c525fd1099033f77a18c1290 (patch) | |
tree | faca2beddeea320c8884d5b766bd9adf040d3d99 /lib/session.ml | |
parent | 8d6b3cba4fa9538c42d3126aa02962b0cd7371ca (diff) |
Diffstat (limited to 'lib/session.ml')
-rw-r--r-- | lib/session.ml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/lib/session.ml b/lib/session.ml index 7a69d37..cb44653 100644 --- a/lib/session.ml +++ b/lib/session.ml @@ -61,3 +61,6 @@ let create (config : config) : t Lwt.t = | _ -> Lwt.return_unit) state >|= S.keep; in { state; update } + +let connect (session : t) (domain : Portal.domain) : unit = + session.update (Connecting domain) |