![]() |
Mads
Multi-Agent Distributed System
|
Caller-supplied overrides applied while the file is expanded. More...
#include <director_config.hpp>
Public Attributes | |
| std::optional< int > | base_instance_id |
Caller-supplied overrides applied while the file is expanded.
These exist for values that cannot be patched after the fact: load_director_config() substitutes ${ID} into every instance's command during expansion, so by the time it returns there is no ${ID} left to renumber. An override has to be in hand before that happens.
Definition at line 126 of file director_config.hpp.
| std::optional<int> Mads::DirectorLoadOptions::base_instance_id |
When set, replaces every section's base_instance_id – including sections that state one explicitly. Intended for running one director.toml on several machines with disjoint ${ID} ranges. Must be >= 0, on the same terms as the file's own key.
Definition at line 131 of file director_config.hpp.