diff options
author | Christopher Baines <mail@cbaines.net> | 2024-10-31 17:07:39 +0000 |
---|---|---|
committer | Christopher Baines <mail@cbaines.net> | 2024-10-31 20:04:16 +0000 |
commit | 6265c37e896e966a7deee5bdb2e9df8565f7dd55 (patch) | |
tree | 7381d58b2b0cfeea08e737023aeb622f0d29281f | |
parent | e67edf54bc18e552e5b80d12cd25a6ac4c58f789 (diff) | |
download | data-service-6265c37e896e966a7deee5bdb2e9df8565f7dd55.tar data-service-6265c37e896e966a7deee5bdb2e9df8565f7dd55.tar.gz |
Increase the sleep-operation time for telling waiters to retry
As this being too short was leading call-with-resource-pool to get stuck.
-rw-r--r-- | guix-data-service/utils.scm | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/guix-data-service/utils.scm b/guix-data-service/utils.scm index bd5009d..5436eb8 100644 --- a/guix-data-service/utils.scm +++ b/guix-data-service/utils.scm @@ -281,7 +281,7 @@ (perform-operation (choice-operation (put-operation waiter 'resource-pool-retry-checkout) - (sleep-operation 0.2)))))) + (sleep-operation 10)))))) waiters) (loop resources @@ -306,7 +306,7 @@ (perform-operation (choice-operation (put-operation waiter 'resource-pool-retry-checkout) - (sleep-operation 0.2)))))) + (sleep-operation 10)))))) waiters) (loop resources |