(session: SessionScope, workspace: WorkspaceScope)
| 17 | type WorkspaceScope = Pick<WorkspaceInfo, 'id' | 'rootPath' | 'connectionId' | 'sshHost'>; |
| 18 | |
| 19 | export function sessionMatchesWorkspace(session: SessionScope, workspace: WorkspaceScope): boolean { |
| 20 | const sid = session.workspaceId?.trim(); |
| 21 | const wid = workspace.id?.trim(); |
| 22 | if (sid && wid && sid === wid) { |
| 23 | return true; |
| 24 | } |
| 25 | // Stale or missing id on the session: still match by path + remote scope. |
| 26 | return sessionBelongsToWorkspaceNavRow( |
| 27 | session, |
| 28 | workspace.rootPath, |
| 29 | workspace.connectionId ?? null, |
| 30 | workspace.sshHost ?? null |
| 31 | ); |
| 32 | } |
| 33 | |
| 34 | export function findWorkspaceForSession( |
| 35 | session: SessionScope, |
no test coverage detected