- proper request pool cleanup

[m6w6/ext-http] / php_http_requestpool_object.h

diff --git a/php_http_requestpool_object.h b/php_http_requestpool_object.h
index 1981c851945ac97640077143a595a1c42ace23f6..1ee1a9e2bc3f6e0b36eb7fa6cf286a4f7c1e9ea8 100644 (file)
--- a/php_http_requestpool_object.h
+++ b/php_http_requestpool_object.h
@@ -42,8 +42,11 @@ extern void _http_requestpool_object_init(INIT_FUNC_ARGS);
 extern zend_object_value _http_requestpool_object_new(zend_class_entry *ce TSRMLS_DC);
 #define http_requestpool_object_free _http_requestpool_object_free
 extern void _http_requestpool_object_free(zend_object *object TSRMLS_DC);
+#define http_requestpool_object_ondestruct(p) _http_requestpool_object_ondestruct((p) TSRMLS_CC)
+extern void _http_requestpool_object_ondestruct(http_request_pool *pool TSRMLS_DC);
 
 PHP_METHOD(HttpRequestPool, __construct);
+PHP_METHOD(HttpRequestPool, __destruct);
 PHP_METHOD(HttpRequestPool, attach);
 PHP_METHOD(HttpRequestPool, detach);
 PHP_METHOD(HttpRequestPool, send);