Re: [boost] Re: Filesystem library: remove / etc

From: Ross Smith (r-smith_at_[hidden])
Date: 2002-03-20 02:46:16

Dylan Nicholson wrote:
> 
> But how are you defining the post-condition - simply that no file of that name
> can be found, or that it was definitely determined that there is no file in the
> relevant directory of the specified name?  The former might be true if a) the
> directory doesn't exist or can't be read or b) the device is not responding.
> Surely there are some preconditions that must be satisified too?
> Anyhow how hard is it to write
> 
> if (exists(filename)) remove(filename);

Race condition.

-- 
Ross Smith ...................................... Auckland, New Zealand
r-smith_at_[hidden] ....................................................
  "We need a new cosmology. New gods. New sacraments. Another drink."
                                                       -- Patti Smith