diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2019-12-02 12:24:56 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2019-12-02 12:24:56 +0100 |
| commit | c2b2c8e9e7ce3e12b23a6d27162dc98450d4f4d9 (patch) | |
| tree | dcdfbef0a904deea90f49c0d9551ac8509585cb3 /guix/lint.scm | |
| parent | c07c0acf19e9c705495bf6b9866ab57acef87132 (diff) | |
lint: archival: Gracefully handle network failures.
* guix/lint.scm (check-archival): Wrap re-throw in 'with-networking-fail-safe'.
Diffstat (limited to 'guix/lint.scm')
| -rw-r--r-- | guix/lint.scm | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/guix/lint.scm b/guix/lint.scm index 629604e0e9..cd2ea571ed 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)))))))) ;;; |