branch: master
commit 0a9776e57dcd30b22d9c48dbf80c0611aef32d62
Author: Ludovic Courtès <[email protected]>
AuthorDate: Wed Oct 25 20:09:50 2023 +0200
remote-worker: Use a separate GC root directory.
* src/cuirass/scripts/remote-worker.scm (cuirass-remote-worker): Change
‘%gc-root-directory’.
---
src/cuirass/scripts/remote-worker.scm | 4 ++++
1 file changed, 4 insertions(+)
diff --git a/src/cuirass/scripts/remote-worker.scm
b/src/cuirass/scripts/remote-worker.scm
index e7ec4fd..d0b4b66 100644
--- a/src/cuirass/scripts/remote-worker.scm
+++ b/src/cuirass/scripts/remote-worker.scm
@@ -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)
