branch master updated: database: Fix "db-get-worker".

[Mathieu Othacehe]

This is an automated email from the git hooks/post-receive script.

mothacehe pushed a commit to branch master
in repository guix-cuirass.

The following commit(s) were added to refs/heads/master by this push:
     new 7697735  database: Fix "db-get-worker".
7697735 is described below

commit 7697735fce119b1ed3bdd37a2a7924cdeb8e89e8
Author: Mathieu Othacehe <othacehe@gnu.org>
AuthorDate: Mon Feb 1 12:22:56 2021 +0100

    database: Fix "db-get-worker".
    
    * src/cuirass/database.scm (db-get-worker): Handle the case where no worker
    were found.
---
 src/cuirass/database.scm | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/cuirass/database.scm b/src/cuirass/database.scm
index 9903299..257fe7e 100644
--- a/src/cuirass/database.scm
+++ b/src/cuirass/database.scm
@@ -1415,7 +1415,8 @@ WHERE name = " name ";"))
         (address address)
         (machine machine)
         (systems (string-split systems #\,))
-        (last-seen last-seen))))))
+        (last-seen last-seen)))
+      (else #f))))
 
 (define (db-get-workers)
   "Return the workers in Workers table."