(role: RoleName, choice: SessionOverride | null)
| 39 | const _sessionOverrides = new Map<RoleName, SessionOverride>(); |
| 40 | |
| 41 | export function setSessionRoleOverride(role: RoleName, choice: SessionOverride | null): void { |
| 42 | if (choice === null) _sessionOverrides.delete(role); |
| 43 | else _sessionOverrides.set(role, choice); |
| 44 | } |
| 45 | |
| 46 | export function getSessionRoleOverride(role: RoleName): SessionOverride | null { |
| 47 | return _sessionOverrides.get(role) ?? null; |
no test coverage detected