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:
authormichael-grunder <michael.grunder@gmail.com>2019-06-13 01:31:20 +0300
committermichael-grunder <michael.grunder@gmail.com>2019-06-13 01:31:20 +0300
commit7ff6e5368fd2715d99e8d41f2e137d67433e2e26 (patch)
tree4b59e104da5788fadb5684be71880f44ad01604e /library.c
parentac9dca0a925de9cd87268c1e4629893cc436e50c (diff)
Remove unused variable
Diffstat (limited to 'library.c')
-rw-r--r--library.c2
1 files changed, 1 insertions, 1 deletions
diff --git a/library.c b/library.c
index 8d44fb6a..a4637b7e 100644
--- a/library.c
+++ b/library.c
@@ -1517,7 +1517,7 @@ PHP_REDIS_API int
redis_xinfo_reply(INTERNAL_FUNCTION_PARAMETERS, RedisSock *redis_sock, zval *z_tab, void *ctx)
{
zval z_ret;
- int i, elements;
+ int elements;
if (read_mbulk_header(redis_sock, &elements TSRMLS_CC) == SUCCESS) {
array_init(&z_ret);