Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/phpredis/phpredis.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorPavlo Yatsukhnenko <yatsukhnenko@gmail.com>2016-11-12 20:52:03 +0300
committerPavlo Yatsukhnenko <yatsukhnenko@gmail.com>2016-11-12 21:33:45 +0300
commitca4dc3b8c7e1cc59d019bb9b8664cb6f397bc6b4 (patch)
tree878eb20694ae1a97a16232e07784948d5cc0443c /redis_cluster.c
parentf77c6faf2f3f5359b45156af84d7d70435bf8ac1 (diff)
php7 compatibility
All tests passed. \o/
Diffstat (limited to 'redis_cluster.c')
-rw-r--r--redis_cluster.c3
1 files changed, 2 insertions, 1 deletions
diff --git a/redis_cluster.c b/redis_cluster.c
index 1c43f6f6..e4622b94 100644
--- a/redis_cluster.c
+++ b/redis_cluster.c
@@ -2711,7 +2711,8 @@ PHP_METHOD(RedisCluster, info) {
redisCluster *c = GET_CONTEXT();
REDIS_REPLY_TYPE rtype;
char *cmd, *opt=NULL;
- int cmd_len, opt_len;
+ int cmd_len;
+ size_t opt_len;
void *ctx = NULL;
zval *z_arg;
short slot;