diff options
author | Christopher Baines <mail@cbaines.net> | 2020-04-28 22:40:06 +0100 |
---|---|---|
committer | Christopher Baines <mail@cbaines.net> | 2020-04-28 22:40:06 +0100 |
commit | 9c8f568ae995ecb8c5e0455e3452985cfa899797 (patch) | |
tree | 20c5b5ef2ca9f86dde6901f267b848a55d23334e | |
parent | 898b6230c696895d27a3c26cfe20bdb00793b8ff (diff) | |
download | build-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.scm | 1 |
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 |