Key rotation
I've read the doc that describes the key rotation process and it isn't clear whether the slave server is stopped by RotateKey.sh during its execution. Because the step after copying the new key to the slave is to start BOTH servers. Does the slave get shutdown, necessatating starting both servers? Or does the master get started and the slave get restarted?