Willy Tarreau eb11889f1e MINOR: task: release the task pool when stopping
When we're stopping, we're not going to create new tasks anymore, so
let's release the task pool upon each task_free() in order to reduce
memory fragmentation.
2014-11-13 16:57:19 +01:00
..
2011-06-18 20:27:19 +02:00
2009-01-25 13:49:53 +01:00