Root dynamic supervisor for session subtrees.
Summary
Functions
Returns a specification to start this module under a supervisor.
Closes a managed session's materialization when its owning scope is cleaned up.
Revokes a managed session by opaque session id after exact lease-scope validation.
Functions
Returns a specification to start this module under a supervisor.
See Supervisor.
@spec cleanup_managed_session(String.t(), atom()) :: :ok | {:error, ASM.Error.t() | :not_found}
Closes a managed session's materialization when its owning scope is cleaned up.
@spec list_sessions() :: [String.t()]
@spec revoke_managed_session(String.t(), map() | keyword()) :: :ok | {:error, ASM.Error.t() | :not_found}
Revokes a managed session by opaque session id after exact lease-scope validation.
@spec start_link(keyword()) :: Supervisor.on_start()
@spec start_session(keyword()) :: DynamicSupervisor.on_start_child()
@spec start_session( GenServer.server(), keyword() ) :: DynamicSupervisor.on_start_child()
@spec stop_session(GenServer.server(), String.t() | pid()) :: :ok | {:error, :not_found}