tidy up the pool manager
The size and active server count are now handled nicely
The empty function now works regardless and closes the pool