diff options
author | Holger Weiss <holger@zedat.fu-berlin.de> | 2013-12-29 12:26:03 (GMT) |
---|---|---|
committer | Holger Weiss <holger@zedat.fu-berlin.de> | 2013-12-29 12:26:03 (GMT) |
commit | 2a8b57f1858bd57e1f7744612e3e0990a3d4d377 (patch) | |
tree | bba97d21630e000e34df83033b83f9116416117a /web/attachments/144266-patch-configure | |
parent | 1193b11cbb0ef2af7ebde6ce0db216a8855174f1 (diff) | |
download | site-2a8b57f1858bd57e1f7744612e3e0990a3d4d377.tar.gz |
check-mirrors: Add a timeout
Make sure that curl(1) won't hang forever.
Diffstat (limited to 'web/attachments/144266-patch-configure')
0 files changed, 0 insertions, 0 deletions