[no subject]

[Ludovic Courtès]

branch: main
commit 9ee2d0daba09758b667a11d139e36223018f3c6b
Author: Ludovic Courtès <ludo@gnu.org>
AuthorDate: Sat Jul 6 17:25:52 2024 +0200

    remote-worker: Sleep for half of (%worker-timeout) between pings.
    
    * src/cuirass/scripts/remote-worker.scm (spawn-worker-ping): Express
    sleep delay as a function of (%worker-timeout).
---
 src/cuirass/scripts/remote-worker.scm | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/cuirass/scripts/remote-worker.scm 
b/src/cuirass/scripts/remote-worker.scm
index 7abcb06..6e2d45e 100644
--- a/src/cuirass/scripts/remote-worker.scm
+++ b/src/cuirass/scripts/remote-worker.scm
@@ -310,7 +310,7 @@ command.  REPLY is a procedure that can be used to reply to 
this server."
        (let loop ()
          (log-info (G_ "~a: ping ~a.") (worker-name worker) endpoint)
          (ping socket)
-         (sleep 60)
+         (sleep (quotient (%worker-timeout) 2))
          (loop))))))
 
 (define (low-disk-space?)