
write to file and then rename, so when the file is open for read, its content is known to have been written. Fixes open-mpi/ompi#1230
write to file and then rename, so when the file is open for read, its content is known to have been written. Fixes open-mpi/ompi#1230