offload: Honor the build timeout internally.
commita708de151c255712071e42e5c8284756b51768cd
authorLudovic Courtès <ludo@gnu.org>
Mon, 11 Jun 2018 09:42:59 +0000 (11 11:42 +0200)
committerLudovic Courtès <ludo@gnu.org>
Mon, 11 Jun 2018 13:19:01 +0000 (11 15:19 +0200)
tree6b4ad6cd320e3bf7914f42750a843ca234750f0d
parent14299d21f28cba1331f4ad21432454f43b51766b
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.
guix/scripts/offload.scm