Someone can only really make that choice for themselves. Pulling the money out is probably the better play, but there's a lot more risk to the choice than there was a week ago. If you're a longterm investor (10+ years), either choice will probably work out so long as you are saving the absolute most that you can each week.
The big thing about markets is their value is perception, and panic is devastating to perception. The amount of money that can be taken out of the market is nowhere near the value of the market, and strange things start happening when panic causes people to try and extract severe amounts of money. But panic is path that is very hard to predict. So make the choice you are comfortable with.