Searched refs:workers_in_job (Results 1 – 1 of 1) sorted by relevance
202 std::vector<string> workers_in_job; in DeviceFinder() local203 worker_cache->ListWorkersInJob(job_name, &workers_in_job); in DeviceFinder()204 workers.insert(workers.end(), workers_in_job.begin(), in DeviceFinder()205 workers_in_job.end()); in DeviceFinder()