diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2015-02-05 22:16:59 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2015-02-05 23:40:55 +0100 |
| commit | fc61b641c28db1fc70da798fb6dcedb853b1ad1a (patch) | |
| tree | 4ec58218d1d576c25152d350163d5a0652b1a0ee /gnu/packages/mpi.scm | |
| parent | bf26b8ddabbc357c55af5140bb0522fd46afbd54 (diff) | |
| download | guix-fc61b641c28db1fc70da798fb6dcedb853b1ad1a.tar guix-fc61b641c28db1fc70da798fb6dcedb853b1ad1a.tar.gz | |
offload: Warn about SSH client issues.
Suggested by Ricardo Wurmus <ricardo.wurmus@mdc-berlin.de>.
* guix/scripts/offload.scm (remote-pipe): Remove unneeded 'catch'.
(machine-load): Check the exit value upon (close-pipe pipe). Call
'warning' when it is non-zero.
Diffstat (limited to 'gnu/packages/mpi.scm')
0 files changed, 0 insertions, 0 deletions