Hmm... Do we want to have a distinction between "stopping" a server and "deleting" a server?