forgot to say how the server should be stopped