Modify run_all_servers.