master updated (b97ea9d -> 317d8fc)

[Ludovic Courtès]

civodul pushed a change to branch master.

    from b97ea9d  evaluate: Builds inherit their priority from the spec.
     new 7688e98  remote: ‘send-log’ ignores ‘close-port’ exceptions.
     new 06c33a8  remote: Fix docstring of ‘zmq-socket->port’.
     new 9c25f94  base: ‘channel-update-service’ correctly reports system 
errors.
     new e62012b  remote-server: Use a channel instead of a zmq inproc socket 
for downloads.
     new 15e9301  parameters: Remove ‘%debug’ in favor of 
‘current-logging-level’.
     new 9d35ece  remote-server: Trim module imports.
     new 0e22521  remote-server: Remove ‘%fetch-queue-size’ global variable.
     new 317d8fc  Update TODO.


Summary of changes:
 TODO                                  |  11 ---
 src/cuirass/base.scm                  |   3 +-
 src/cuirass/parameters.scm            |   9 +-
 src/cuirass/remote.scm                |   6 +-
 src/cuirass/scripts/remote-server.scm | 150 +++++++++++++++-------------------
 5 files changed, 74 insertions(+), 105 deletions(-)