Spaces:
Paused
Paused
| const COOKIE_REGEX = /(?:^|;\s*)_codex_session=([^;]*)/; | |
| /** Extract the _codex_session cookie value from a Cookie header. */ | |
| export function parseSessionCookie(cookieHeader: string | undefined): string | undefined { | |
| if (!cookieHeader) return undefined; | |
| const match = COOKIE_REGEX.exec(cookieHeader); | |
| return match ? match[1] : undefined; | |
| } | |