diff options
author | Ludovic Courtès <ludo@gnu.org> | 2014-04-03 23:41:16 +0200 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2014-04-03 23:55:51 +0200 |
commit | 4b00f3434e47fc2ddbfda887f36ddbba6a742b82 (patch) | |
tree | 528dfd849f71ba71467ff636ecee220db1d19767 /doc | |
parent | 50322c847dc28f2a1e2e6efaa0d84d5561bc8d0a (diff) | |
download | patches-4b00f3434e47fc2ddbfda887f36ddbba6a742b82.tar patches-4b00f3434e47fc2ddbfda887f36ddbba6a742b82.tar.gz |
offload: Prevent the '.drv' and build result from being GC'd.
Before that, there was a small time window during which the GC could
wipe the .drv (before 'guix build' has been called), or the build
result (before 'retrieve-files' has started.)
* guix/scripts/offload.scm (remote-pipe): Add #:quote? parameter and
honor it.
(%gc-root-file): New variable.
(register-gc-root, remove-gc-root): New procedures.
(offload): Adjust comment. Run 'guix build' with '-r %GC-ROOT-FILE'.
(transfer-and-offload): Call 'register-gc-root' before
sending (derivation-file-name DRV). Call 'remove-gc-root' after the
call to 'offload' or 'retrieve-files'.
(send-files): Call 'remote-pipe' with #:quote? #f.
(retrieve-files): Likewise.
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions