[MINOR] Free stick table pool on denint()

The motivation for this is that when soft-restart is merged
it will be come more important to free all relevant memory in deinit()

Discovered using valgrind.

diff --git a/src/haproxy.c b/src/haproxy.c
index da9f8c63d04ed06f936c3f4e489c3678977221fa..f982727b5809cda8622bbad653dfb4b9295c9eca 100644 (file)
--- a/src/haproxy.c
+++ b/src/haproxy.c
@@ -874,6 +874,7 @@ void deinit(void)
                pool_destroy2(p->req_cap_pool);
                pool_destroy2(p->rsp_cap_pool);
                pool_destroy2(p->hdr_idx_pool);
+               pool_destroy2(p->table.pool);
 
                p0 = p;
                p = p->next;