diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2017-05-28 16:09:32 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2017-05-28 23:13:39 +0200 |
| commit | 8902d0f2676a500c785044fff54b8675f96cef6d (patch) | |
| tree | b69c8334af7c9c9c5839a6fd00a4f04297632e8a /gnu | |
| parent | aa401f9ba6410095370ce0c4e5a01c02203a2b9f (diff) | |
| download | gnu-guix-8902d0f2676a500c785044fff54b8675f96cef6d.tar gnu-guix-8902d0f2676a500c785044fff54b8675f96cef6d.tar.gz | |
scripts: Set thread names.
This allows 'guix publish' threads as well as 'guix substitute' and
'guix offload' processes to be properly labeled in 'top', 'pstree', etc.
* guix/workers.scm (worker-thunk): Add #:thread-name parameter and honor it.
(make-pool): Likewise.
* guix/scripts/publish.scm (http-write): Add calls to 'set-thread-name'
in bodies of 'call-with-new-thread'.
(guix-publish): Call 'set-thread-name'. Pass #:thread-name to 'make-pool'.
* guix/scripts/offload.scm (guix-offload): Call 'set-thread-name'.
* guix/scripts/substitute.scm (guix-substitute): Likewise.
Diffstat (limited to 'gnu')
0 files changed, 0 insertions, 0 deletions