Change Win32 rename/unlink timeout to 3 seconds.

diff --git a/src/port/dirmod.c b/src/port/dirmod.c
index 9415517b165f79dbe9d33a988d7437041933e754..66c98a59fcfcf16f660fc3b2e5f5ffea8dde0aa9 100644 (file)
--- 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