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:
authorNicolas Favre-Felix <n.favrefelix@gmail.com>2010-12-03 11:56:16 +0300
committerNicolas Favre-Felix <n.favrefelix@gmail.com>2010-12-03 11:56:16 +0300
commit126812026deced3787c201a33795bae608f24575 (patch)
tree4da6e4e3b9d88182364442126c5d36e931e0edf0
parent18a2d36b327158b3eca3a4486f4dfb5d0f467740 (diff)
Bugfix and typo.
-rw-r--r--redis_session.c3
1 files changed, 2 insertions, 1 deletions
diff --git a/redis_session.c b/redis_session.c
index 7d647540..b8bef2ab 100644
--- a/redis_session.c
+++ b/redis_session.c
@@ -80,6 +80,7 @@ PHPAPI void
redis_pool_free(redis_pool *pool TSRMLS_DC) {
redis_pool_member *rpm, *next;
+ rpm = pool->head;
while(rpm) {
next = rpm->next;
redis_sock_disconnect(rpm->redis_sock);
@@ -322,7 +323,7 @@ PS_DESTROY_FUNC(redis)
return FAILURE;
}
- /* send SET command */
+ /* send DEL command */
session = redis_session_key(key, strlen(key), &session_len);
cmd_len = redis_cmd_format_static(&cmd, "DEL", "s", session, session_len);
efree(session);