Per @klannon, it would be handy if the manager dumped out a config file at startup containing all of its various options in JSON, and periodically rescanned for changes. This would give the advanced user (or an interactive system) an opportunity to adjust settings like fast-abort, task resources, etc by (carefully) bumping the config file.
Per @klannon, it would be handy if the manager dumped out a config file at startup containing all of its various options in JSON, and periodically rescanned for changes. This would give the advanced user (or an interactive system) an opportunity to adjust settings like fast-abort, task resources, etc by (carefully) bumping the config file.