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 /.dir-locals.el | |
| parent | ef2c6b409568123e760a7dfa22d45fc09e713198 (diff) | |
| download | patches-232b3d31016439b5600e47d845ffb7c9a4ee4723.tar patches-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 '.dir-locals.el')
0 files changed, 0 insertions, 0 deletions