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 /COPYRIGHT | |
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 'COPYRIGHT')
0 files changed, 0 insertions, 0 deletions