(params: {
ownerWorkspaceId: string;
sourceKind: TerminalAttentionNotification["sourceKind"];
sourceId: string;
outputDelivery: TerminalAttentionNotification["outputDelivery"];
terminalOutcome: TerminalAttentionOutcome;
title?: string;
})
| 4411 | } |
| 4412 | |
| 4413 | private async enqueueTerminalAttention(params: { |
| 4414 | ownerWorkspaceId: string; |
| 4415 | sourceKind: TerminalAttentionNotification["sourceKind"]; |
| 4416 | sourceId: string; |
| 4417 | outputDelivery: TerminalAttentionNotification["outputDelivery"]; |
| 4418 | terminalOutcome: TerminalAttentionOutcome; |
| 4419 | title?: string; |
| 4420 | }): Promise<void> { |
| 4421 | const created = await this.terminalAttentionStore.enqueueIfAbsent(params); |
| 4422 | if (created == null) { |
| 4423 | return; |
| 4424 | } |
| 4425 | this.scheduleTerminalAttentionDrain(params.ownerWorkspaceId); |
| 4426 | } |
| 4427 | |
| 4428 | private scheduleTerminalAttentionDrain(ownerWorkspaceId: string): void { |
| 4429 | const previous = this.pendingTerminalAttentionDrainsByOwner.get(ownerWorkspaceId); |
no test coverage detected