06/06: lint: archival: Gracefully handle network failures.

[guix-commits]

civodul pushed a commit to branch master
in repository guix.

commit c2b2c8e9e7ce3e12b23a6d27162dc98450d4f4d9
Author: Ludovic Courtès <address@hidden>
Date:   Mon Dec 2 12:24:56 2019 +0100

    lint: archival: Gracefully handle network failures.
    
    * guix/lint.scm (check-archival): Wrap re-throw in 
'with-networking-fail-safe'.
---
 guix/lint.scm | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/guix/lint.scm b/guix/lint.scm
index 629604e..cd2ea57 100644
--- a/guix/lint.scm
+++ b/guix/lint.scm
@@ -1122,7 +1122,10 @@ Heritage")
         ((key . args)
          (if (eq? key skip-key)
              '()
-             (apply throw key args)))))))
+             (with-networking-fail-safe
+              (G_ "while connecting to Software Heritage")
+              '()
+              (apply throw key args))))))))
 
 
 ;;;