diff options
author | Andrey Andreev <narf@devilix.net> | 2019-11-01 11:24:03 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-11-01 11:24:03 +0100 |
commit | f40d86c54fbbc3adc8c901fa4580dbcb5d89a3b4 (patch) | |
tree | 6ed1d3222856cc16bf455e4a656744858f4b7e06 /system | |
parent | 04a21cf19469cdb8cdc146a2fbea2ec43bd14822 (diff) | |
parent | 8096d02e8f9bef0fd26a276c4d93a715dcec19a2 (diff) |
[ci skip] Merge pull request #5861 from nebkat/patch-1
cache: redis: Check version of redis not phpredis
Diffstat (limited to 'system')
-rw-r--r-- | system/libraries/Cache/drivers/Cache_redis.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/system/libraries/Cache/drivers/Cache_redis.php b/system/libraries/Cache/drivers/Cache_redis.php index 3c4c23d3b..9dbe52844 100644 --- a/system/libraries/Cache/drivers/Cache_redis.php +++ b/system/libraries/Cache/drivers/Cache_redis.php @@ -98,7 +98,7 @@ class CI_Cache_redis extends CI_Driver return; } - isset(static::$_delete_name) OR static::$_delete_name = version_compare(phpversion('phpredis'), '5', '>=') + isset(static::$_delete_name) OR static::$_delete_name = version_compare(phpversion('redis'), '5', '>=') ? 'del' : 'delete'; |