(summary: SessionSummary)
| 208 | } |
| 209 | |
| 210 | function toPreviousSessionSummary(summary: SessionSummary): PreviousSessionSummary { |
| 211 | return { |
| 212 | workDir: summary.workDir, |
| 213 | sessionId: summary.id, |
| 214 | sessionDir: summary.sessionDir, |
| 215 | ...(summary.title === undefined ? {} : { title: summary.title }), |
| 216 | }; |
| 217 | } |
| 218 | |
| 219 | function normalizeOptionalSessionId(sessionId: string | undefined): string | undefined { |
| 220 | const trimmed = sessionId?.trim(); |