I did the graceful shutdown and restart. However you may also want to look into making a shutdown server look more obvious after pressing the stop server button.