If he was deployed, that he would be considered active duty and he should have received active duty pay.
