diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2011-12-21T18·59+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2011-12-21T18·59+0000 |
| commit | 69d6f0936a59da5cc35040407f4b667437d61add (patch) | |
| tree | 359468ac775b4f2851a806f7e00d1838bd5c5650 /externals | |
| parent | 38776198880d06dc6af0fbdfa7cb2c053000112a (diff) | |
* Use a lock to ensure that only one build-remote instance can copy a
closure to a given machine at the same time. This prevents the case where multiple instances try to copy the same missing store path to the target machine, which is very wasteful.
Diffstat (limited to 'externals')
0 files changed, 0 insertions, 0 deletions