(output: string, maxCharacters: number)
| 192 | } |
| 193 | |
| 194 | function truncateOutput(output: string, maxCharacters: number): { output: string; truncated: boolean } { |
| 195 | const outputCharacters = codePointLength(output); |
| 196 | if (outputCharacters <= maxCharacters) return { output, truncated: false }; |
| 197 | |
| 198 | const marker = "\n... output truncated ...\n"; |
| 199 | const markerCharacters = codePointLength(marker); |
| 200 | const available = Math.max(0, maxCharacters - markerCharacters); |
| 201 | const budget = splitBudget(available); |
| 202 | return { |
| 203 | output: takeHead(output, budget.head) + marker + takeTail(output, budget.tail), |
| 204 | truncated: true, |
| 205 | }; |
| 206 | } |
| 207 | |
| 208 | export class ProcessSessionManager { |
| 209 | private readonly sessions = new Map<number, ProcessSession>(); |
no test coverage detected