More graceful end to the server if you kill the client first.