If any employee of the city, whether regular, reserve
or substitute policeman or fireman, or other employee, per diem or
otherwise, shall be enlisted in time of war, or shall have been drafted
to serve in the armed services of the United States in time of war
or peace, such service in the armed services of the United States
shall be credited in full to the service record of such employee to
the city in computing his service for pension purposes.