Re: backup-buffer-copy loops if old backup can't be deleted

[martin rudalics]

>>Suppose the file to-name exists but cannot be
>>deleted.  `copy-file' will raise its `file-already-exists' error and you
>>remain trapped in that loop.
>
>
> No, if the file cannot be deleted, the delete-file will signal a
> file-error so copy-file doesn't even get a chance to signal a
> file-already-exists error because it doesn't get called at all. As the
> outer condition-case doesn't catch file-error, the signal will propagate
> up the call stack.

I stand corrected.  The file-error is caught in `backup-buffer' and
further file-errors don't get trapped.