Discard pooled connections the server closed while idle
Merged
RI
16d ago+443+443+012345678901234567890123456789-19-19-01234567890123456789
Fixes DRIVERS-576
Before handing out a pooled connection the driver now asks the OS whether it is already dead. If it is, the driver drops the connection and leaves the routing table alone.