private property Redis_Client_Manager::$clients in Redis 7.3

Type: mixed[]

File

lib/Redis/Client/Manager.php, line 53

Class

Redis_Client_Manager

Client pool manager for multi-server configurations

Code

private $clients = array();