branch wip-offload updated: tmp13

[Mathieu Othacehe]

This is an automated email from the git hooks/post-receive script.

mothacehe pushed a commit to branch wip-offload
in repository guix-cuirass.

The following commit(s) were added to refs/heads/wip-offload by this push:
     new 511729c  tmp13
511729c is described below

commit 511729cdbe42c86d28f324fccf623bdcb3979bce
Author: Mathieu Othacehe <othacehe@gnu.org>
AuthorDate: Thu Dec 17 17:18:19 2020 +0100

    tmp13
---
 src/cuirass/remote-server.scm | 12 +++++++-----
 1 file changed, 7 insertions(+), 5 deletions(-)

diff --git a/src/cuirass/remote-server.scm b/src/cuirass/remote-server.scm
index fcc5c76..4a4e1b1 100644
--- a/src/cuirass/remote-server.scm
+++ b/src/cuirass/remote-server.scm
@@ -210,11 +210,11 @@ work for the worker with the given NAME."
           (list client
                 (make-bytevector 0)
                 (string->bv
-                 (pk (zmq-workers
-                      (hash-fold (lambda (key value old)
-                                   (cons (worker->sexp value) old))
-                                 '()
-                                 %workers)))))))))
+                 (zmq-workers
+                  (hash-fold (lambda (key value old)
+                               (cons (worker->sexp value) old))
+                             '()
+                             %workers))))))))
     (const #f)))
 
 (define* (read-worker-exp exp #:key reply-worker)
@@ -451,6 +451,8 @@ frontend to the workers connected through the TCP backend."
     ;; Change frontend socket permissions.
     (chmod (zmq-frontend-socket-name) #o666)
 
+    (zmq-set-buffer-size (* 4096 3))
+
     ;; Do not use the built-in zmq-proxy as we want to edit the envelope of
     ;; frontend messages before forwarding them to the backend.
     (let loop ()