Otherwise, newly connecting backends will still think the deleted DB is
valid, and will generate unexpected error messages.