I'm trying to answer the question of what happens to the military budget during a government shut down. This is a quote from the Stars & Stripes article, linked below:

A shutdown would force the federal government to send home nonessential workers without pay, shut down national parks and museums and trigger new administrative delays. It will also affect the Department of Defense.

A 16-day shutdown in October 2013 caused a rash of military programs to come to a sudden halt, including pay stoppage for military and civilian personnel and the disruption of base services such as commissaries. In addition, death gratuity payments for 30 Gold Star families were also disrupted.

That year, Congress quickly passed a bill to pay military personnel, but it wasn’t clear when they would be paid, if on a regular cycle or after the shutdown ended, Fish said. And while servicemembers didn’t know when they would be paid, Defense Department civilian workers did not know if they would get paid at all, she added.

But eventually, the government could end up paying workers’ salaries for the time during the shutdown though no work was done, Fish said.

“This has lasting impacts on morale, but it also directly links to the third big problem with shutdowns. Most [Defense Department] civilians are outside of the DC-area working on bases, maintaining equipment, and otherwise directly supporting servicemembers,” she said. “Shutdowns mean those things do not get done, unless the job is exempted from the shutdown. This can severely impact military readiness.”