So, I tried a couple more times. Eventually, it took several minutes for the server to restart (before, it was restarting after a few seconds). After that, the server would stay up. I am guessing there was a patch or something that needed to be applied.