tree b42f77391d711c060eb565c31a0772fef8c65d8d
parent 7dcd46d4715b947e413b5a0cb13acb6c92182f59
author Willy Tarreau <w@1wt.eu> 1179095969 +0200
committer Willy Tarreau <w@1wt.eu> 1179095969 +0200

[MAJOR] call garbage collector when doing soft stop

When we're interrupted by another instance, it is very likely
that the other one will need some memory. Now we know how to
free what is not used, so let's do it.

Also only free non-null pointers. Previously, pool_destroy()
did implicitly check for this case which was incidentely
needed.