Improve commentary for the last commit.

diff --git a/src/w32.c b/src/w32.c
index 5809e3ff91f0b7cd1bf451af10ac387f0458a7b5..f17c06ea8070de32ded69f55b7eed79d5cc5efde 100644 (file)
--- 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)