diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2014-08-29 14:37:58 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2014-08-29 14:37:58 +0200 |
| commit | b1e48f222b4805012b4fd2ef5b4aa46884ee0a8d (patch) | |
| tree | 5106836a324361e1acd1e47531ec9217787af8f1 /guix/ui.scm | |
| parent | 00b7776c0dc294c26c3b09bff236ccacbedd2080 (diff) | |
| download | gnu-guix-b1e48f222b4805012b4fd2ef5b4aa46884ee0a8d.tar gnu-guix-b1e48f222b4805012b4fd2ef5b4aa46884ee0a8d.tar.gz | |
offload: Ignore unreachable machines.
Fixes <http://bugs.gnu.org/18070>.
Reported by Andreas Enge <andreas@enge.fr>.
* guix/scripts/offload.scm (remote-pipe): Augment docstring.
(machine-load): Return +inf.0 instead of 1 if MACHINE does not respond
or responds badly.
Diffstat (limited to 'guix/ui.scm')
0 files changed, 0 insertions, 0 deletions