remote-worker: Use a separate GC root directory.

* src/cuirass/scripts/remote-worker.scm (cuirass-remote-worker): Change
‘%gc-root-directory’.
This commit is contained in:
Ludovic Courtès 2023-10-25 20:09:50 +02:00
parent 476324286b
commit 0a9776e57d
No known key found for this signature in database
GPG Key ID: 090B11993D9AEBB5
1 changed files with 4 additions and 0 deletions

View File

@ -463,6 +463,10 @@ exiting."
(read-file-sexp
(assoc-ref opts 'private-key-file))))
;; Distinguish the worker's GC root directory so that, in case a
;; 'cuirass remote-server' process runs on the same machine as a worker,
;; the worker's doesn't end up deleting the server's GC roots.
(%gc-root-directory (string-append (%gc-root-directory) "/worker"))
(false-if-exception (mkdir-p (%gc-root-directory)))
(parameterize ((%substitute-urls urls)