diff options
author | Christopher Baines <mail@cbaines.net> | 2022-10-22 09:46:35 +0100 |
---|---|---|
committer | Christopher Baines <mail@cbaines.net> | 2022-10-22 09:46:35 +0100 |
commit | 2d616a7063767818103711755e7962c3b89b058a (patch) | |
tree | f2e5c2be54ea7f36fc98bc50c86964a4261f2f36 | |
parent | 88c90505880a78681d9b6e58e59741f2ba2af0ad (diff) | |
download | build-coordinator-2d616a7063767818103711755e7962c3b89b058a.tar build-coordinator-2d616a7063767818103711755e7962c3b89b058a.tar.gz |
Add more logging when output files are deleted
-rw-r--r-- | guix-build-coordinator/agent-messaging/http/server.scm | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/guix-build-coordinator/agent-messaging/http/server.scm b/guix-build-coordinator/agent-messaging/http/server.scm index e4f7041..b2b9fd9 100644 --- a/guix-build-coordinator/agent-messaging/http/server.scm +++ b/guix-build-coordinator/agent-messaging/http/server.scm @@ -507,8 +507,16 @@ port. Also, the port used can be changed by passing the --port option.\n" (mkdir-p (dirname output-file-name)) (when (file-exists? output-file-name) + (log-msg logger + 'WARN + "PUT /build/" uuid "/output/" output-name ": " + "deleting " output-file-name) (delete-file output-file-name)) (when (file-exists? tmp-output-file-name) + (log-msg logger + 'WARN + "PUT /build/" uuid "/output/" output-name ": " + "deleting " tmp-output-file-name) (delete-file tmp-output-file-name)) (let ((hash @@ -660,6 +668,10 @@ port. Also, the port used can be changed by passing the --port option.\n" ;; If the output file exists, delete it, as it's being uploaded ;; again (when (file-exists? output-file-name) + (log-msg logger + 'WARN + "POST /build/" uuid "/output/" output-name "/partial: " + "deleting " output-file-name) (delete-file output-file-name)) (let ((hash |