[PATCH] ipsec-pool: do not delete a pool when this pool is used by a connection