Subject: Re: bug#865: 23.0.60; The directory is unsafe today

From: "Juanma Barranquero" <[email-masked]>
Date: Wed, 3 Sep 2008 00:38:18 +0200

On Tue, Sep 2, 2008 at 21:10, Lennart Borgman (gmail)
<[email-masked]> 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