diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2022-11-22 07:17:17 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2022-11-22 09:43:54 +0100 |
| commit | b2b9571935f9188086b2e7b434840eeda6c42805 (patch) | |
| tree | 96ad67225c65cfbd5af5f145c4cb18b3d9713bb4 /.gitignore | |
| parent | 60bea075938cae10147d1d8fd414dc0140f4118f (diff) | |
| download | guix-b2b9571935f9188086b2e7b434840eeda6c42805.tar.gz | |
offload: Gracefully handle 'guix repl' protocol errors.
Fixes <https://issues.guix.gnu.org/59447>. Reported by Mathieu Othacehe <othacehe@gnu.org>. Previously, if a machine had a buggy 'guix repl', 'guix offload' would crash with a backtrace instead of just ignoring the machine. * guix/scripts/offload.scm (remote-inferior*): New procedure. (check-machine-availability)[if-true]: New procedure. Use 'remote-inferior*' and 'if-true'. (check-machine-status): Use 'remote-inferior*'.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions