How does the user stop the server?