diff options
| author | Bruce Momjian <bruce@momjian.us> | 2003-10-10 03:27:58 +0000 |
|---|---|---|
| committer | Bruce Momjian <bruce@momjian.us> | 2003-10-10 03:27:58 +0000 |
| commit | d7c971ab7d7807d54da118a43d0536f24a324a91 (patch) | |
| tree | 2f467876c2d4f2a7b4548f5663d3759850d37dc6 | |
| parent | 870d9641bc09eeb227dc6e0c3fd90d83a116e35c (diff) | |
Change Win32 rename/unlink timeout to 3 seconds.
| -rw-r--r-- | src/port/dirmod.c | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/port/dirmod.c b/src/port/dirmod.c index 9415517b165..66c98a59fcf 100644 --- a/src/port/dirmod.c +++ b/src/port/dirmod.c @@ -21,7 +21,7 @@ pgrename(const char *from, const char *to) /* set errno? */ return -1; Sleep(100); /* ms */ - if (loops == 10) + if (loops == 30) #ifndef FRONTEND elog(LOG, "could not rename \"%s\" to \"%s\", continuing to try", from, to); @@ -32,7 +32,7 @@ pgrename(const char *from, const char *to) loops++; } - if (loops > 10) + if (loops > 30) #ifndef FRONTEND elog(LOG, "completed rename of \"%s\" to \"%s\"", from, to); #else @@ -53,7 +53,7 @@ pgunlink(const char *path) /* set errno? */ return -1; Sleep(100); /* ms */ - if (loops == 10) + if (loops == 30) #ifndef FRONTEND elog(LOG, "could not unlink \"%s\", continuing to try", path); @@ -64,7 +64,7 @@ pgunlink(const char *path) loops++; } - if (loops > 10) + if (loops > 30) #ifndef FRONTEND elog(LOG, "completed unlink of \"%s\"", path); #else |