/** * Given a list of servers gets all workers * * @param array Server addresses * @return array Servers with appended worker info */ public function getWorkers($servers) { foreach ($servers as &$server) { try { $germanManager = new Manager($server['address']); $workers = $germanManager->workers(); foreach ($workers as $worker) { $server['workers'][] = $worker; } } catch (\Exception $e) { //Unable to connect or worker unresponsive $server['workers'] = []; } } return $servers; }