diff options
| author | Siri Hansen <[email protected]> | 2019-04-09 18:11:21 +0200 |
|---|---|---|
| committer | Siri Hansen <[email protected]> | 2019-04-10 10:51:17 +0200 |
| commit | ebfeb2bb5046143c4da2bcc8141b40b29448717b (patch) | |
| tree | 4737f81e17a030bbadb5f3853db2ed169581af5a /prebuild.delete | |
| parent | 8ab1bc2af5933b36c1583b1168e9b7875334cd50 (diff) | |
| download | otp-ebfeb2bb5046143c4da2bcc8141b40b29448717b.tar.gz otp-ebfeb2bb5046143c4da2bcc8141b40b29448717b.tar.bz2 otp-ebfeb2bb5046143c4da2bcc8141b40b29448717b.zip | |
[ct] Make sure log cache file is completely written before it is read
This fixes a timing problem where the file could exist but be empty
due to simultaneous read and write from two different nodes.
Diffstat (limited to 'prebuild.delete')
0 files changed, 0 insertions, 0 deletions