private function streamsOf($workers) { $streams = array(); foreach (array_keys($workers) as $index) { $streams[$index] = $this->streams[$index]; } return $streams; }