(taskId: string, message: string)
| 2694 | } |
| 2695 | |
| 2696 | private async markTaskLaunchFailed(taskId: string, message: string): Promise<void> { |
| 2697 | assert(taskId.length > 0, "markTaskLaunchFailed requires taskId"); |
| 2698 | await this.editWorkspaceEntry( |
| 2699 | taskId, |
| 2700 | (ws) => { |
| 2701 | ws.taskStatus = "interrupted"; |
| 2702 | ws.taskLaunchError = message; |
| 2703 | }, |
| 2704 | { allowMissing: true } |
| 2705 | ); |
| 2706 | await this.emitWorkspaceMetadata(taskId); |
| 2707 | this.rejectWaiters(taskId, new Error(message)); |
| 2708 | this.scheduleMaybeStartQueuedTasks(); |
| 2709 | } |
| 2710 | |
| 2711 | private async startReservedAgentTask(plan: TaskLaunchPlan): Promise<void> { |
| 2712 | assert(plan.taskId.length > 0, "startReservedAgentTask requires taskId"); |
no test coverage detected