mongodb/mongo-php-driver — pull request #7 by matthew-lucidchart (2011-11-16 21:00:22+00:00)
Title: fix for bug PHP-286

Refactors mongo_util_server_ping into _ping and _isreadable.
Moves ping_interval and ismaster_interval into an ini setting.
Pings servers when retrieved from connection pools. mongo_util_pool_get only returns pingable servers.