| 2020 | } |
| 2021 | |
| 2022 | void Core::setArmokTools(const std::vector<std::string> &tool_names) { |
| 2023 | std::lock_guard<std::mutex> lock(armok_mutex); |
| 2024 | armok_tools.clear(); |
| 2025 | armok_tools.insert(tool_names.begin(), tool_names.end()); |
| 2026 | } |
| 2027 | |
| 2028 | bool Core::isArmokTool(const std::string& tool) { |
| 2029 | std::lock_guard<std::mutex> lock(armok_mutex); |
no test coverage detected