diff options
| author | Christopher Baines <mail@cbaines.net> | 2024-10-31 16:45:09 +0000 |
|---|---|---|
| committer | Christopher Baines <mail@cbaines.net> | 2024-10-31 16:45:09 +0000 |
| commit | de5e036ab1f7b67f3708546c7683a2de20d44a85 (patch) | |
| tree | dca6a82e4e732c1390117a678d4527fb81b6d448 /guix-data-service/builds.scm | |
| parent | 2d7100e75d1b6f151b094995ea3f4c7e8a37c22b (diff) | |
| download | data-service-de5e036ab1f7b67f3708546c7683a2de20d44a85.tar data-service-de5e036ab1f7b67f3708546c7683a2de20d44a85.tar.gz | |
Ensure that call-with-resource-from-pool doesn't get stuck
As I think this was happening when it missed the resource-pool-retry-checkout
reply from the resource pool. Handle this case by periodically retrying with a
configurable timeout.
Diffstat (limited to 'guix-data-service/builds.scm')
0 files changed, 0 insertions, 0 deletions