If you change a bot or script's toml file, you currently have to manually click reload for the changes to take effect in the gui. This can be a bit gotcha if you just edited the run_command or the agent_id and to some extent the description and other details.
Reloading all toml configs periodically is an option, but also seems overkill. Outdated tomls are mostly a problem when the user wants to see the bot/script's info or when a match is started. I propose we automatically reload the relevant tomls when the user clicks "Show info" or "Start Match".
If you change a bot or script's toml file, you currently have to manually click reload for the changes to take effect in the gui. This can be a bit gotcha if you just edited the
run_commandor theagent_idand to some extent thedescriptionand other details.Reloading all toml configs periodically is an option, but also seems overkill. Outdated tomls are mostly a problem when the user wants to see the bot/script's info or when a match is started. I propose we automatically reload the relevant tomls when the user clicks "Show info" or "Start Match".