Fix a subtle bug affecting multiple-socket handling in Plink. (Was