diff options
author | GitHub Workflow <workflow@github.com> | 2020-11-19 00:56:43 +0000 |
---|---|---|
committer | GitHub Workflow <workflow@github.com> | 2020-11-19 00:56:43 +0000 |
commit | 62398b5ea03fb6dd4b89a59765ab7d285083c327 (patch) | |
tree | 8c09ddf7d8a8994fb3547e6d5c95a8d341ad7b38 /18.0-rc/apache/config/redis.config.php | |
parent | 58419d4d9de2b0f3c064c182a7d5e57d1db1f43e (diff) |
Runs update.sh
Diffstat (limited to '18.0-rc/apache/config/redis.config.php')
-rw-r--r-- | 18.0-rc/apache/config/redis.config.php | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/18.0-rc/apache/config/redis.config.php b/18.0-rc/apache/config/redis.config.php deleted file mode 100644 index a5fde3c7..00000000 --- a/18.0-rc/apache/config/redis.config.php +++ /dev/null @@ -1,17 +0,0 @@ -<?php -if (getenv('REDIS_HOST')) { - $CONFIG = array( - 'memcache.distributed' => '\OC\Memcache\Redis', - 'memcache.locking' => '\OC\Memcache\Redis', - 'redis' => array( - 'host' => getenv('REDIS_HOST'), - 'password' => (string) getenv('REDIS_HOST_PASSWORD'), - ), - ); - - if (getenv('REDIS_HOST_PORT') !== false) { - $CONFIG['redis']['port'] = (int) getenv('REDIS_HOST_PORT'); - } elseif (getenv('REDIS_HOST')[0] != '/') { - $CONFIG['redis']['port'] = 6379; - } -} |