They will automatically check to see if it's running every single minute and will restart itself if it ever crashes.
Since the server seems to "age" (sluggish performance, stutters, rubber-banding after a few hours), I made a script to restart the server several times in 24 hours. It will only restart if the server is empty, otherwise it will check to restart at the next best available time when no one is playing. Bash scripting was interesting with multiple ways of doing one thing, but it's so satisfying to see the server "take care of itself."
Periodic display of rules in the chat is also supported.
I also made other improvements that help me easily start, stop, restart server and log these events. They run on Linux, and each one currently costs $10/month.