| 10475 | |
| 10476 | |
| 10477 | void Framework::destroyExecutor(const ExecutorID& executorId) |
| 10478 | { |
| 10479 | if (executors.contains(executorId)) { |
| 10480 | Executor* executor = executors[executorId]; |
| 10481 | executors.erase(executorId); |
| 10482 | |
| 10483 | // See the declaration of `taskLaunchSequences` regarding its |
| 10484 | // lifecycle management. |
| 10485 | taskLaunchSequences.erase(executorId); |
| 10486 | |
| 10487 | // Pass ownership of the executor pointer. |
| 10488 | completedExecutors.push_back(Owned<Executor>(executor)); |
| 10489 | } |
| 10490 | } |
| 10491 | |
| 10492 | |
| 10493 | void Framework::recoverExecutor( |
no test coverage detected