From 5d12070a29667b23eef8a7b7269904fc95cbcba3 Mon Sep 17 00:00:00 2001
From: Francesco Cozzuto <francesco.cozzuto@gmail.com>
Date: Tue, 22 Jul 2025 13:57:53 +0200
Subject: [PATCH] Bug fix

---
 chttp.c           | 3 +++
 src/socket_pool.c | 3 +++
 2 files changed, 6 insertions(+)

diff --git a/chttp.c b/chttp.c
index 6a80fd9..9fc5d9b 100644
--- a/chttp.c
+++ b/chttp.c
@@ -3909,6 +3909,8 @@ int socket_pool_connect_ipv6(SocketPool *pool, bool secure,
     return 0;
 }
 
+#include <stdio.h> // TODO: remove
+
 SocketEvent socket_pool_wait(SocketPool *pool)
 {
     for (;;) {
@@ -3927,6 +3929,7 @@ SocketEvent socket_pool_wait(SocketPool *pool)
             if (socket_died(sock)) {
                 void *user_data = socket_get_user_data(sock);
                 socket_free(sock);
+                pool->num_socks--;
                 return (SocketEvent) { SOCKET_EVENT_DIED, -1, user_data };
             }
 
diff --git a/src/socket_pool.c b/src/socket_pool.c
index 67c295d..c37fb5a 100644
--- a/src/socket_pool.c
+++ b/src/socket_pool.c
@@ -215,6 +215,8 @@ int socket_pool_connect_ipv6(SocketPool *pool, bool secure,
     return 0;
 }
 
+#include <stdio.h> // TODO: remove
+
 SocketEvent socket_pool_wait(SocketPool *pool)
 {
     for (;;) {
@@ -233,6 +235,7 @@ SocketEvent socket_pool_wait(SocketPool *pool)
             if (socket_died(sock)) {
                 void *user_data = socket_get_user_data(sock);
                 socket_free(sock);
+                pool->num_socks--;
                 return (SocketEvent) { SOCKET_EVENT_DIED, -1, user_data };
             }