diff options
author | Eli Zaretskii <eliz@gnu.org> | 2012-10-05 11:21:51 +0200 |
---|---|---|
committer | Eli Zaretskii <eliz@gnu.org> | 2012-10-05 11:21:51 +0200 |
commit | 0ace05d38a4dfcb5a468adaf8c8d5a6185a9eca2 (patch) | |
tree | 0250ca87dd59cdf890eda7fbf8b1eaaa832a397a /src/w32.c | |
parent | 0d9f584b2c2a816670a22948615d7e0a5b93fc10 (diff) | |
download | emacs-0ace05d38a4dfcb5a468adaf8c8d5a6185a9eca2.tar.gz |
Improve commentary for the last commit.
Diffstat (limited to 'src/w32.c')
-rw-r--r-- | src/w32.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/w32.c b/src/w32.c index 5809e3ff91f..f17c06ea807 100644 --- a/src/w32.c +++ b/src/w32.c @@ -3953,6 +3953,9 @@ utime (const char *name, struct utimbuf *times) /* Need write access to set times. */ fh = CreateFile (name, FILE_WRITE_ATTRIBUTES, + /* If NAME specifies a directory, FILE_SHARE_DELETE + allows other processes to delete files inside it, + while we have the directory open. */ FILE_SHARE_READ | FILE_SHARE_WRITE | FILE_SHARE_DELETE, 0, OPEN_EXISTING, FILE_FLAG_BACKUP_SEMANTICS, NULL); if (fh != INVALID_HANDLE_VALUE) |