diff --git a/src/pool/PoolSQL.cc b/src/pool/PoolSQL.cc index 71709b4cda..7bdf1c5a80 100644 --- a/src/pool/PoolSQL.cc +++ b/src/pool/PoolSQL.cc @@ -238,6 +238,7 @@ void PoolSQL::replace() if ( index == pool.end()) { + oid_queue.pop(); break; } @@ -254,6 +255,7 @@ void PoolSQL::replace() pool.erase(index); + oid_queue.pop(); removed = true; } }