President Trump tweeted this morning that if the government shuts down, it would be “devastating to our military.”

So, what happens to the military in a government shutdown?

US officials say the armed forces are considered essential and would still report for duty, unlike rank and file government employees.

And military personnel still get paid, unless a shutdown lasts until February 1. That’s because funding runs through midnight Friday and the last paychecks went out last Monday. Personnel must report to work and still would be paid at the first pay period after the shutdown ends.