From da074dda313685679607f550a470ab97b5079b90 Mon Sep 17 00:00:00 2001 From: Nicolas Favre-Felix Date: Thu, 28 Oct 2010 11:06:28 +0200 Subject: Handle server death before close(). --- library.c | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/library.c b/library.c index 7a051504..407673e6 100644 --- a/library.c +++ b/library.c @@ -777,7 +777,9 @@ PHPAPI int redis_sock_disconnect(RedisSock *redis_sock TSRMLS_DC) redis_sock_write(redis_sock, "QUIT", sizeof("QUIT") - 1 TSRMLS_CC); redis_sock->status = REDIS_SOCK_STATUS_DISCONNECTED; - php_stream_close(redis_sock->stream); + if(redis_sock->stream) { /* still valid after the write? */ + php_stream_close(redis_sock->stream); + } redis_sock->stream = NULL; res = 1; -- cgit v1.2.3