Browse Source

Use PROFILER_DETAILS in RedisManager.

master
Alexander Demidov 13 years ago
parent
commit
4e0b762ab0
  1. 2
      redis/RedisManager.php

2
redis/RedisManager.php

@ -49,7 +49,7 @@ class RedisManager
* @var Redis * @var Redis
*/ */
$connection = new Redis(); $connection = new Redis();
if (Config::get('DEBUG')) {
if (Config::get('PROFILER_DETAILS')) {
$connection = new RedisDebug($connection); $connection = new RedisDebug($connection);
} }
if (!$connection->connect($host, $port)) { if (!$connection->connect($host, $port)) {

Loading…
Cancel
Save