[no subject]

[Ludovic Courtès]

branch: master
commit 0a9776e57dcd30b22d9c48dbf80c0611aef32d62
Author: Ludovic Courtès <ludo@gnu.org>
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)