diff options
| author | Bruce Momjian | 2017-05-17 20:31:56 +0000 |
|---|---|---|
| committer | Bruce Momjian | 2017-05-17 20:31:56 +0000 |
| commit | a6fd7b7a5f7bf3a8aa3f3d076cf09d922c1c6dd2 (patch) | |
| tree | d10454411c05d459abe06df161ab3c1156c5f477 /src/port | |
| parent | 8a943324780259757c77c56cfc597347d1150cdb (diff) | |
Post-PG 10 beta1 pgindent run
perltidy run not included.
Diffstat (limited to 'src/port')
| -rw-r--r-- | src/port/dirmod.c | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/src/port/dirmod.c b/src/port/dirmod.c index 08835962be..bf34835941 100644 --- a/src/port/dirmod.c +++ b/src/port/dirmod.c @@ -376,11 +376,11 @@ pgwin32_safestat(const char *path, struct stat * buf) if (GetLastError() == ERROR_DELETE_PENDING) { /* - * File has been deleted, but is not gone from the filesystem - * yet. This can happen when some process with FILE_SHARE_DELETE - * has it open and it will be fully removed once that handle - * is closed. Meanwhile, we can't open it, so indicate that - * the file just doesn't exist. + * File has been deleted, but is not gone from the filesystem yet. + * This can happen when some process with FILE_SHARE_DELETE has it + * open and it will be fully removed once that handle is closed. + * Meanwhile, we can't open it, so indicate that the file just + * doesn't exist. */ errno = ENOENT; return -1; |
