pool.copyInto(rps);
for (int i=0; i<rps.length; i++)
{
if (rps[i].isActive())
{
throw new POAInternalError("error: request processor is active (RequestProcessorPM.destroy)");
}
pool.removeElement(rps[i]);
unused_size--;
current._removeContext(rps[i]);