Support lazy-delete, so we can shutdown when a server is dead