diff --git a/src/port/dirmod.c b/src/port/dirmod.c index e22a41c77e..369a222c51 100644 --- a/src/port/dirmod.c +++ b/src/port/dirmod.c @@ -57,7 +57,7 @@ pgrename(const char *from, const char *to) * and blocking other backends. */ #if defined(WIN32) && !defined(__CYGWIN__) - while (!MoveFileEx(from, to, MOVEFILE_REPLACE_EXISTING)) + while (!MoveFileEx(from, to, MOVEFILE_REPLACE_EXISTING | MOVEFILE_COPY_ALLOWED)) #else while (rename(from, to) < 0) #endif