Fixes #3794: "disable-agent" feature does not work as expected (doesn't stop *running* agents)
Merge pull request #161 from jooooooon/bug_3794/disable_agent_feature_does_not_work_as_expected_doesn_t_stop_running_agents

Fixes #3794: "disable-agent" feature does not work as expected (doesn't ...