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:
Diffstat (limited to 'library.c')
-rw-r--r--library.c2
1 files changed, 2 insertions, 0 deletions
diff --git a/library.c b/library.c
index 65f37820..815523f7 100644
--- a/library.c
+++ b/library.c
@@ -1810,6 +1810,8 @@ redis_sock_check_liveness(RedisSock *redis_sock)
/* Check socket liveness using 0 second timeout */
if (php_stream_set_option(redis_sock->stream, PHP_STREAM_OPTION_CHECK_LIVENESS, 0, NULL) != PHP_STREAM_OPTION_RETURN_OK) {
return FAILURE;
+ } else if (!INI_INT("redis.pconnect.echo_check_liveness")) {
+ return SUCCESS;
}
if (redis_sock->auth) {