diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2018-06-11 11:42:59 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2018-06-11 15:19:01 +0200 |
| commit | a708de151c255712071e42e5c8284756b51768cd (patch) | |
| tree | 6b4ad6cd320e3bf7914f42750a843ca234750f0d /gnu | |
| parent | 14299d21f28cba1331f4ad21432454f43b51766b (diff) | |
| download | patches-a708de151c255712071e42e5c8284756b51768cd.tar patches-a708de151c255712071e42e5c8284756b51768cd.tar.gz | |
offload: Honor the build timeout internally.
* guix/scripts/offload.scm (call-with-timeout): New procedure.
(with-timeout): New macro.
(process-request): Use it around 'transfer-and-offload' call.
Diffstat (limited to 'gnu')
0 files changed, 0 insertions, 0 deletions