diff options
| author | Massimiliano Culpo <massimiliano.culpo@gmail.com> | 2023-09-19 15:32:59 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-09-19 15:32:59 +0200 |
| commit | 3b4ca0374e605085218a3840bf7a75cc1cc4cac9 (patch) | |
| tree | e189ad8bfec05ed4d132361b7d05048e59119f1a /var | |
| parent | 7d33c36a30ed518b3e12f8ae1cdd916d5fa93e44 (diff) | |
| download | spack-3b4ca0374e605085218a3840bf7a75cc1cc4cac9.tar.gz spack-3b4ca0374e605085218a3840bf7a75cc1cc4cac9.tar.bz2 spack-3b4ca0374e605085218a3840bf7a75cc1cc4cac9.tar.xz spack-3b4ca0374e605085218a3840bf7a75cc1cc4cac9.zip | |
Use process pool executors for web-crawling and retrieving archives (#39888)
Fix a race condition when searching urls, and updating a shared
set '_visited'.
Diffstat (limited to 'var')
0 files changed, 0 insertions, 0 deletions