Graceful server shutdown

In 9.0, there is no longer a single batch server. Thus, the order in which you shutdown the cluster servers becomes important.

See also