bug#865: 23.0.60; The directory is unsafe today

[Juanma Barranquero]

On Tue, Sep 2, 2008 at 21:10, Lennart Borgman (gmail)
<lennart.borgman@gmail.com> wrote:

> BTW there is a
>
>  (ignore-errors (delete-file server-file))
>
> in server-start. I do not like the ignore-errors there. Check if the
> file is there first and if it is delete it.

How are you going to guarantee that the file isn't deleted by another
process between the check and the delete-file call?

  Juanma