master updated (eb3f539 -> 7c697ad)

[Ludovic Courtès]

civodul pushed a change to branch master.

    from eb3f539  build: Delete ‘cuirass-remote-worker.service’ upon ‘make 
clean’.
     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:
 Makefile.am                           |   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