It would have been a discretionary sale. He could have kept his shares if he saw them as compelling value. Alternative security could have been provided and even that assumes further margin calls had been triggered which seems unlikely given the partial recovery in the share price.
