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(-)
