( sessions: Sessions, clientId: number, headers: Headers.Headers )
| 2291 | } |
| 2292 | |
| 2293 | const getClientSession = ( |
| 2294 | sessions: Sessions, |
| 2295 | clientId: number, |
| 2296 | headers: Headers.Headers |
| 2297 | ) => { |
| 2298 | const sessionId = headers[MCP_SESSION_ID_HEADER] |
| 2299 | if (sessionId === undefined) { |
| 2300 | return sessions.byClientId.get(clientId) |
| 2301 | } |
| 2302 | return sessions.bySessionId.get(sessionId) |
| 2303 | } |
| 2304 | |
| 2305 | const InvalidBatchExit = Schema.Struct({ |
| 2306 | _tag: Schema.Literal("Exit"), |
no test coverage detected