(task: ScheduledToolCallTask<Result>)
| 81 | } |
| 82 | |
| 83 | private finish(task: ScheduledToolCallTask<Result>): void { |
| 84 | const index = this.activeTasks.indexOf(task); |
| 85 | if (index >= 0) this.activeTasks.splice(index, 1); |
| 86 | this.startQueuedTasks(); |
| 87 | } |
| 88 | |
| 89 | private startQueuedTasks(): void { |
| 90 | const stillQueued: Array<ScheduledToolCallTask<Result>> = []; |