[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

master updated (eb3f539 -> 7c697ad)

From: Ludovic Courtès
Subject: master updated (eb3f539 -> 7c697ad)
Date: Thu, 16 Nov 2023 17:24:21 -0500 (EST)

civodul pushed a change to branch master.

    from eb3f539  build: Delete ‘cuirass-remote-worker.service’ upon ‘make 
     new ba3ea79  remote-worker: Better guard against server disconnections.
     new dadd43a  remove-server: Remove misplaced function decomposition.
     new 38d864d  remote-server: Catch ZeroMQ errors when replying to workers.
     new a969ca8  remote-server: Ignore unrecognized messages.
     new 85bcc32  base: Fix typo in ‘exception-reporter’.
     new bdcbf01  utils: Add tests for the resource pool.
     new 7c697ad  utils: ‘with-resource-from-pool’ does not suspend from 
exception handler.

Summary of changes:                           |   3 +-
 src/cuirass/base.scm                  |   2 +-
 src/cuirass/scripts/remote-server.scm | 167 ++++++++++++++++++----------------
 src/cuirass/scripts/remote-worker.scm |   7 ++
 src/cuirass/utils.scm                 |  25 +++--
 tests/utils.scm                       |  86 +++++++++++++++++
 6 files changed, 199 insertions(+), 91 deletions(-)
 create mode 100644 tests/utils.scm

reply via email to

[Prev in Thread] Current Thread [Next in Thread]