[no subject]

[Mathieu Othacehe]

branch: master
commit 1341725f2cbb886e0960c6fad13444e3cfe36c13
Author: Mathieu Othacehe <othacehe@gnu.org>
AuthorDate: Sun Nov 20 18:16:55 2022 +0100

    remote-worker: Increase the request period to 30 seconds
    
    * src/cuirass/scripts/remote-worker.scm (%request-period): Increase it to
    reduce the server pressure.
---
 src/cuirass/scripts/remote-worker.scm | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/cuirass/scripts/remote-worker.scm 
b/src/cuirass/scripts/remote-worker.scm
index 37c8afe..bc64cbd 100644
--- a/src/cuirass/scripts/remote-worker.scm
+++ b/src/cuirass/scripts/remote-worker.scm
@@ -67,7 +67,7 @@
   (make-parameter
    (or (and=> (getenv "REQUEST_PERIOD")
               string->number)
-       10)))
+       30)))
 
 (define %substitute-urls
   (make-parameter #f))
@@ -383,7 +383,7 @@ and executing them.  The worker can reply on the same 
socket."
                  (log-info (G_ "~a: request work.") (worker-name wrk))
                  (request-work socket worker)
                  (match (zmq-get-msg-parts-bytevector socket '())
-                   ((empty)
+                   ((empty) ;server reconnection
                     (log-info (G_ "~a: received a bootstrap message.")
                               (worker-name wrk)))
                    ((empty command)