We should delete first, then call close. Close could throw. If it throws, the domain manager will catch the exception and forward a notification to the user (so it's fine that we're not catching the exception here). But we'll be left in this weird state where a broken server is still in the _servers array.