From 4e0b762ab0069bc4aea5a7e5c3051ee5faff5aa1 Mon Sep 17 00:00:00 2001
From: Alexander Demidov <alexander.letov@netmonsters.ru>
Date: Tue, 10 Jul 2012 17:03:25 +0400
Subject: [PATCH] Use PROFILER_DETAILS in RedisManager.

---
 redis/RedisManager.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/redis/RedisManager.php b/redis/RedisManager.php
index 5da5651..ae5f3db 100644
--- a/redis/RedisManager.php
+++ b/redis/RedisManager.php
@@ -49,7 +49,7 @@ class RedisManager
              * @var Redis
              */
             $connection = new Redis();
-            if (Config::get('DEBUG')) {
+            if (Config::get('PROFILER_DETAILS')) {
                 $connection = new RedisDebug($connection);
             }
             if (!$connection->connect($host, $port)) {