diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2013-07-11 22:22:22 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2013-07-11 22:22:22 +0200 |
| commit | 8b79e2e641d4f0ff0b5859f11be2c523c608fe26 (patch) | |
| tree | 25da9980bad8835dc0da76a24d86e10ff4bb4375 | |
| parent | 35935b8a1db3642d4c7ed86e8fe581637f0aa012 (diff) | |
substitute-binary: Increase the default timeout.
* guix/scripts/substitute-binary.scm (%fetch-timeout): Set to 5 seconds.
| -rwxr-xr-x | guix/scripts/substitute-binary.scm | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/guix/scripts/substitute-binary.scm b/guix/scripts/substitute-binary.scm index fb2eb4dbe8..e6244245d3 100755 --- a/guix/scripts/substitute-binary.scm +++ b/guix/scripts/substitute-binary.scm @@ -107,7 +107,7 @@ pairs." (define %fetch-timeout ;; Number of seconds after which networking is considered "slow". - 3) + 5) (define %random-state (seed->random-state (+ (ash (cdr (gettimeofday)) 32) (getpid)))) |