database: Fix "db-get-worker".
* src/cuirass/database.scm (db-get-worker): Handle the case where no worker were found.
Loading
Please register or sign in to comment
* src/cuirass/database.scm (db-get-worker): Handle the case where no worker were found.