[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[no subject]
From: |
Mathieu Othacehe |
Date: |
Fri, 17 Dec 2021 09:09:47 -0500 (EST) |
branch: master
commit b9c36654ccc7d89b36d78917a5a597214bbda78c
Author: Mathieu Othacehe <othacehe@gnu.org>
AuthorDate: Fri Dec 17 15:07:29 2021 +0100
remote-worker: Catch send-log errors.
* src/cuirass/scripts/remote-worker.scm (run-build): If the worker was not
able to send the build logs, report it, dump the build logs them and keep
things going.
---
src/cuirass/scripts/remote-worker.scm | 8 +++++++-
1 file changed, 7 insertions(+), 1 deletion(-)
diff --git a/src/cuirass/scripts/remote-worker.scm
b/src/cuirass/scripts/remote-worker.scm
index 404e26d..465b6ce 100644
--- a/src/cuirass/scripts/remote-worker.scm
+++ b/src/cuirass/scripts/remote-worker.scm
@@ -211,7 +211,13 @@ still be substituted."
(let ((result
(let-values (((port finish)
(build-derivations& store (list drv))))
- (send-log address log-port drv port)
+ (catch 'system-error
+ (lambda ()
+ (send-log address log-port drv port))
+ (lambda args
+ (log-error (G_ "could not send logs to ~a:~a")
+ address log-port)
+ (dump-port port (%make-void-port "w"))))
(close-port port)
(finish))))
(if result