[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[no subject]
From: |
Mathieu Othacehe |
Date: |
Sun, 20 Nov 2022 12:32:59 -0500 (EST) |
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)