# File lib/mongo/mongo_replica_set_client.rb, line 385 def unpin_pool(pool) thread_local[:pinned_pools].delete @manager.object_id if @manager end