commit ce932488d3b1669dcb591ea6e3efbcbc17f82286
author pcloudy <pcloudy@google.com> Mon Oct 14 02:56:57 2019 -0700
committer Dmitry Lomov <dslomov@google.com> Mon Oct 14 14:50:28 2019 +0200
tree 9eb475285eb43779770b229ae4b1b955402d2d06
parent 9cb225addbef0a695acc13dcf85a2b4cda600018

Use FileSystemUtils.moveFile instead of renameTo function of Path

renameTo is sometimes flaky on Windows, moveFile is a more robust implementation.

Fixes https://github.com/bazelbuild/bazel/issues/9995

RELNOTES: None
PiperOrigin-RevId: 274539649

src/main/java/com/google/devtools/build/lib/server/GrpcServerImpl.java

diff --git a/src/main/java/com/google/devtools/build/lib/server/GrpcServerImpl.java b/src/main/java/com/google/devtools/build/lib/server/GrpcServerImpl.java
index 1791539..85db556 100644
--- a/src/main/java/com/google/devtools/build/lib/server/GrpcServerImpl.java
+++ b/src/main/java/com/google/devtools/build/lib/server/GrpcServerImpl.java
@@ -477,7 +477,7 @@
       info.writeTo(out);
     }
     Path serverInfoFile = serverDirectory.getChild(SERVER_INFO_FILE);
-    serverInfoTmpFile.renameTo(serverInfoFile);
+    FileSystemUtils.moveFile(serverInfoTmpFile, serverInfoFile);
     deleteAtExit(serverInfoFile);
   }