diff options
author | GitHub Workflow <workflow@github.com> | 2020-12-10 01:12:41 +0000 |
---|---|---|
committer | GitHub Workflow <workflow@github.com> | 2020-12-10 01:12:41 +0000 |
commit | f87624c6eb4f37cf930dfec2441d744d44e31495 (patch) | |
tree | 7a0856128b02cdc72a06ffcb01791769b217b166 /18.0-rc/apache/config/redis.config.php | |
parent | 380c1645ebf5640833680e8f6f25b4f9d44b9b21 (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; - } -} |