diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2015-11-12 23:17:12 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2015-11-12 23:47:01 +0100 |
| commit | bd7e1ffae6c91680e3328974f94c3ead8d2f378d (patch) | |
| tree | 12ab64d7e5a58fd9679a911c7a20b47478faaab5 /.gitignore | |
| parent | 1b9aefa394a57dabe38e0658a3b612e962d3fc5e (diff) | |
lint: Have connections time out after 3 seconds.
* guix/scripts/lint.scm (probe-uri): Add #:timeout parameter. Pass it
to 'open-connection-for-uri' and 'ftp-open'.
(validate-uri): Pass #:timeout 3 to 'probe-uri'.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions