summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--config/config.sample.php5
-rw-r--r--lib/private/memcache/redis.php5
2 files changed, 8 insertions, 2 deletions
diff --git a/config/config.sample.php b/config/config.sample.php
index e3b81f69f6b..61ae59542d4 100644
--- a/config/config.sample.php
+++ b/config/config.sample.php
@@ -420,7 +420,7 @@ $CONFIG = array(
*/
/**
- * Checks an app before install whether it uses private APIs instead of the
+ * Checks an app before install whether it uses private APIs instead of the
* proper public APIs. If this is set to true it will only allow to install or
* enable apps that pass this check.
*/
@@ -831,7 +831,8 @@ $CONFIG = array(
'redis' => array(
'host' => 'localhost', // can also be a unix domain socket: '/tmp/redis.sock'
'port' => 6379,
- 'timeout' => 0.0
+ 'timeout' => 0.0,
+ 'dbindex' => 0, // Optional, if undefined SELECT will not run and will use Redis Server's default DB Index.
),
/**
diff --git a/lib/private/memcache/redis.php b/lib/private/memcache/redis.php
index 62186d3c4ec..e7425726b2b 100644
--- a/lib/private/memcache/redis.php
+++ b/lib/private/memcache/redis.php
@@ -51,7 +51,12 @@ class Redis extends Cache {
} else {
$timeout = 0.0; // unlimited
}
+
self::$cache->connect( $host, $port, $timeout );
+
+ if (isset($config['dbindex'])) {
+ self::$cache->select( $config['dbindex'] );
+ }
}
}