aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorChristopher Baines <mail@cbaines.net>2020-04-28 22:40:06 +0100
committerChristopher Baines <mail@cbaines.net>2020-04-28 22:40:06 +0100
commit9c8f568ae995ecb8c5e0455e3452985cfa899797 (patch)
tree20c5b5ef2ca9f86dde6901f267b848a55d23334e
parent898b6230c696895d27a3c26cfe20bdb00793b8ff (diff)
downloadbuild-coordinator-9c8f568ae995ecb8c5e0455e3452985cfa899797.tar
build-coordinator-9c8f568ae995ecb8c5e0455e3452985cfa899797.tar.gz
Check that the agent uuid is a string
It can be #f if no agent is allocated the build.
-rw-r--r--guix-build-coordinator/agent-messaging/http.scm1
1 files changed, 1 insertions, 0 deletions
diff --git a/guix-build-coordinator/agent-messaging/http.scm b/guix-build-coordinator/agent-messaging/http.scm
index a4be0b5..b1aa9a6 100644
--- a/guix-build-coordinator/agent-messaging/http.scm
+++ b/guix-build-coordinator/agent-messaging/http.scm
@@ -234,6 +234,7 @@ port. Also, the port used can be changed by passing the --port option.\n"
(match (string-split authorization #\:)
((auth-uuid auth-password)
(and
+ (string? uuid)
(string=? auth-uuid uuid)
(datastore-agent-password-exists? datastore
uuid