There is reason why server crash. It should not restart without knowledge why it happened. Broken database? Do not restart MC if database is broken. Also what if you really want stop server? Kill batch process and MC server with it? It might be good way for break database.