Change Win32 rename/unlink timeout to 3 seconds.

This commit is contained in:
Bruce Momjian 2003-10-10 03:28:24 +00:00
parent cb8d423edb
commit 9cdea75210

View File

@ -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