Normally, I would say let them shut down. If they're not going to do their jobs, then we need to stop paying them and have a wake up call.
In this one instance, I'm extremely glad they did not shut down and hope they don't for the next 6 months. I admittedly have a very selfish, once in a lifetime reason behind keeping the government running for now.