diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2019-09-28 17:22:39 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2019-09-28 22:56:40 +0200 |
| commit | a3af06ad65eb097ddaa9a6fab893e2b688734e04 (patch) | |
| tree | bbf6974cec97c69e6b9c6b85d62a27a74d28f847 | |
| parent | 44941fd7dbc77a7bf84a9be63a309eca3ffdc1c2 (diff) | |
| download | patches-a3af06ad65eb097ddaa9a6fab893e2b688734e04.tar patches-a3af06ad65eb097ddaa9a6fab893e2b688734e04.tar.gz | |
offload: Include the port number in the machine lock file name.
This is useful when a single machine appears several time, with
different port numbers.
* guix/scripts/offload.scm (machine-slot-file): Add MACHINE's port to
the file name.
| -rw-r--r-- | guix/scripts/offload.scm | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/guix/scripts/offload.scm b/guix/scripts/offload.scm index 0c0dd9d516..bb307cefd1 100644 --- a/guix/scripts/offload.scm +++ b/guix/scripts/offload.scm @@ -243,7 +243,8 @@ instead of '~a' of type '~a'~%") ;; of these; if we fail, that means all the build slots are already taken. ;; Inspired by Nix's build-remote.pl. (string-append (string-append %state-directory "/offload/" - (build-machine-name machine) + (build-machine-name machine) ":" + (number->string (build-machine-port machine)) "/" (number->string slot)))) (define (acquire-build-slot machine) |