From 0ace05d38a4dfcb5a468adaf8c8d5a6185a9eca2 Mon Sep 17 00:00:00 2001 From: Eli Zaretskii Date: Fri, 5 Oct 2012 11:21:51 +0200 Subject: [PATCH] Improve commentary for the last commit. --- src/w32.c | 3 +++ 1 file changed, 3 insertions(+) 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) -- 2.39.5