fix leak
authorMichael Wallner <mike@php.net>
Sun, 6 Nov 2011 15:26:38 +0000 (15:26 +0000)
committerMichael Wallner <mike@php.net>
Sun, 6 Nov 2011 15:26:38 +0000 (15:26 +0000)
php_http_request_pool.c

index 9ee6f7682056802700aef95cb43578f305cc0193..ec3e5ca9cc8df8998d66fd12189d838086a9e422 100644 (file)
@@ -63,6 +63,8 @@ PHP_HTTP_API void php_http_request_pool_dtor(php_http_request_pool_t *h)
        if (h->persistent_handle_id) {
                zval_ptr_dtor(&h->persistent_handle_id);
        }
+
+       php_http_resource_factory_free(&h->rf);
 }
 
 PHP_HTTP_API void php_http_request_pool_free(php_http_request_pool_t **h) {