code: def workers(self):
          
          worker_keys = self.redis_client.keys("Worker*")
          workers_data = {}
  
          for worker_key in worker_keys:
              worker_info = self.redis_client.hgetall(worker_key)
              worker_id = binary_to_hex(worker_key[len("Workers:"):])
  
              workers_data[worker_id] = {
                  "node_ip_address": decode(worker_info[b"node_ip_address"]),
                  "plasma_store_socket": decode(
                      worker_info[b"plasma_store_socket"])
              }
              if b"stderr_file" in worker_info:
                  workers_data[worker_id]["stderr_file"] = decode(
                      worker_info[b"stderr_file"])
              if b"stdout_file" in worker_info:
                  workers_data[worker_id]["stdout_file"] = decode(
                      worker_info[b"stdout_file"])
          return workers_data
docs: Get a dictionary mapping worker ID to worker information.