diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2021-01-04 11:05:58 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2021-01-04 11:51:48 +0100 |
| commit | 9158020d7853b6e7925802e0d0a082801c680e8f (patch) | |
| tree | c5e29d2de4db7ce5cba4be021cb83fb0d5b7a2d4 /gnu/machine | |
| parent | ed63b7f87e88b0ce9c4a78bf0529599de9172b1f (diff) | |
| download | guix-9158020d7853b6e7925802e0d0a082801c680e8f.tar guix-9158020d7853b6e7925802e0d0a082801c680e8f.tar.gz | |
substitute: Handle "invalid session" GnuTLS errors on reused connections.
Reported by Christopher Baines <mail@cbaines.net>
at <https://issues.guix.gnu.org/45323#2>.
* guix/scripts/substitute.scm (call-with-cached-connection): Handle
'gnutls-error and ERROR/INVALID-SESSION.
Diffstat (limited to 'gnu/machine')
0 files changed, 0 insertions, 0 deletions