diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2017-11-17 10:10:30 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2017-11-17 10:10:30 +0100 |
| commit | 232b3d31016439b5600e47d845ffb7c9a4ee4723 (patch) | |
| tree | 0a80a65687ad3c675c0bb69567b9cc5ea02fb250 /tests | |
| parent | ef2c6b409568123e760a7dfa22d45fc09e713198 (diff) | |
| download | guix-232b3d31016439b5600e47d845ffb7c9a4ee4723.tar.gz | |
workers: 'pool-idle?' returns true only if the workers are idle.
Fixes <https://bugs.gnu.org/28779>. Reported by Eric Bavier <bavier@cray.com>. * guix/workers.scm (<pool>)[busy]: New field. (worker-thunk): Add #:idle and #:busy and use them. (make-pool): Pass #:busy and #:idle to 'worker-thunk'. Pass a 'busy' value to '%make-pool'. * guix/workers.scm (pool-idle?): Check whether 'pool-busy' returns zero and adjust docstring.
Diffstat (limited to 'tests')
0 files changed, 0 insertions, 0 deletions