From e3cd8b09a34ed1296f87bd71f981abd8cbabfccf Mon Sep 17 00:00:00 2001 From: vbot Date: Tue, 9 May 2023 11:41:33 +0200 Subject: [PATCH] Ddb: fix missing sleep omitted in !8503 --- src/lib_requester/requester.ml | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/src/lib_requester/requester.ml b/src/lib_requester/requester.ml index f8336d89eb74..1a7f14c51e5d 100644 --- a/src/lib_requester/requester.ml +++ b/src/lib_requester/requester.ml @@ -323,11 +323,12 @@ end = struct simultaneously. Note: using `Lwt.pause` or `Lwt.yield` might not be - sufficient, e.g., when the scheduler does not timeout cancelers are not given a - chance to be executed. + sufficient, e.g., when the scheduler does not timeout + cancelers are not given a chance to be executed. Note: This constant was selected using the sophisticated "damp digit" method. *) + let* () = Lwt_unix.sleep 0.001 in let timeout = compute_timeout state in let* () = Lwt.choose -- GitLab