bug#865: 23.0.60; The directory is unsafe today

[Lennart Borgman (gmail)]

Juanma Barranquero wrote:
> On Wed, Sep 3, 2008 at 01:50, Lennart Borgman (gmail)
> <lennart.borgman@gmail.com> wrote:
> 
>> And in that case it might be good to
>> check if it really was deleted.
> 
> How?


Just check if it exists immediately after the delete. As you have
pointed out some race condition (which one is unclear to me) can exist
so that it exists there again.

However I did not say that we should raise an error in that case. It
might be legitimate. So we can perhaps instead check file modification
time and see if it is a new file. In that case we could just give a
message (which might be good for hunting errors).

If file modification time says it is the same old file then it is an error.