3 Commits

Author	SHA1	Message	Date
Christian Helmuth	cc78f0b20c	tool: second try on failing check of file-based port ... We call curl a second time if the first check fails. This gives download sites time to reconsider their response and helps, for example, to check the qemu-usb port.	2017-03-15 12:24:44 +01:00
Christian Helmuth	0ef20f7ece	tool/ports: curl timeout and retry in check.mk	2015-04-09 16:04:47 +02:00
Stefan Kalkowski	684ce272e6	tool/ports: add tool to check source availability ... The 'check_port_source' checks whether all remote sources defined for a given port are currently available. It returns zero, when all remote resources are available. Fix #1430	2015-03-19 08:57:18 +01:00