From d2e64f6a3da538e41a3504b875965694a3e92829 Mon Sep 17 00:00:00 2001
From: Mathieu Othacehe <othacehe@gnu.org>
Date: Fri, 26 Feb 2021 09:32:56 +0100
Subject: [PATCH] remote: Use ZMQ message API.
* src/cuirass/remote-server.scm (start-fetch-worker): Use the message API.
---
src/cuirass/remote-server.scm | 5 +++--
1 file changed, 3 insertions(+), 2 deletions(-)
diff --git a/src/cuirass/remote-server.scm b/src/cuirass/remote-server.scm
index 882286ba..9df921cb 100644
--- a/src/cuirass/remote-server.scm
+++ b/src/cuirass/remote-server.scm
@@ -325,9 +325,10 @@ socket."
(set-thread-name name)
(let ((socket (zmq-fetch-worker-socket)))
(let loop ()
- (match (zmq-get-msg-parts-bytevector socket)
+ (match (zmq-message-receive socket)
((message)
- (run-fetch (bv->string message))))
+ (run-fetch (bv->string
+ (zmq-message-content message)))))
(loop))))))
--
GitLab