mirror of
https://github.com/jenkinsci/jenkins.git
synced 2026-10-30 21:15:23 +00:00
[FIXED JENKINS-7871] Fixed a race condition in FilePath.copyTo
that results in missing tail bits when the master is heavily loaded.
This commit is contained in:
1 parent
cbe2677d93
commit
c3fc09939c
6 files changed
+128
-9
No files matched your search
@@ -1405,6 +1405,10 @@ public final class FilePath implements Serializable {
|
||||
}
|
||||
}
|
||||
});
|
||||
|
||||
// make sure the write fully happens before we return.
|
||||
if (channel!=null)
|
||||
channel.syncLocalIO();
|
||||
}
|
||||
|
||||
/**
|
||||
|
||||
Reference in new issue
Block a user