Best I can remember, they received a pension with the amount depending on how much time they served.