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