Tell students how to restart the server

Students do not understand that "restart" means: stop, then start again. Also they may not remember how to stop, or start the server.