docs for restarting the server