tree d31aa54563d4d908517a30aa027a8225ad2ca196
parent 8ceae72d44e08b61190ca2daba211b0b198b0f03
author Willy Tarreau <w@1wt.eu> 1543244254 +0100
committer Willy Tarreau <w@1wt.eu> 1543258232 +0100
encoding latin1

MEDIUM: memory: use pool_destroy_all() to destroy all pools on deinit()

Instead of exporting a number of pools and having to manually delete
them in deinit() or to have dedicated destructors to remove them, let's
simply kill all pools on deinit().

For this a new function pool_destroy_all() was introduced. As its name
implies, it destroys and frees all pools (provided they don't have any
user anymore of course).

This allowed to remove 4 implicit destructors, 2 explicit ones, and 11
individual calls to pool_destroy(). In addition it properly removes
the mux_pt_ctx pool which was not cleared on exit (no backport needed
here since it's 1.9 only). The sig_handler pool doesn't need to be
exported anymore and became static now.