Increase the sleep-operation time for telling waiters to retry

As this being too short was leading call-with-resource-pool to get stuck.
This commit is contained in:
Christopher Baines 2024-10-31 17:07:39 +00:00
parent e67edf54bc
commit 6265c37e89

View file

@ -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