()
| 15 | |
| 16 | |
| 17 | def get_websocket_manager() -> WebSocketManager: |
| 18 | global websocket_manager |
| 19 | if websocket_manager is None: |
| 20 | websocket_manager = WebSocketManager() |
| 21 | return websocket_manager |
| 22 | |
| 23 | |
| 24 | def ensure_known_session(session_id: str, *, require_connection: bool = False) -> WebSocketManager: |
no test coverage detected