Fixes #559: closing the connection pool twice no longer generates a 'false positive' error in the logs.

See also #559.
Feel free to merge if satisfying or comment if not :-)