[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
master updated (ec44dba -> 445198e)
From: |
Ludovic Courtès |
Subject: |
master updated (ec44dba -> 445198e) |
Date: |
Fri, 30 Jun 2023 18:12:48 -0400 (EDT) |
civodul pushed a change to branch master.
from ec44dba remote-server: Correctly check the result of 'zmq-poll'.
new c989e60 remote: Remove unused variable.
new 1e5b87b remote: Remove 'zmq-' prefix from our own message bindings.
new 445198e remote: Simplify interface to send and receive messages.
Summary of changes:
src/cuirass/remote.scm | 147 +++++++++++++++++++---------------
src/cuirass/scripts/remote-server.scm | 65 ++++++---------
src/cuirass/scripts/remote-worker.scm | 68 +++++++---------
3 files changed, 136 insertions(+), 144 deletions(-)
- master updated (ec44dba -> 445198e),
Ludovic Courtès <=