MilhouseVH
8da443cf0c
distro-tool: Fix error, improve performance
2016-08-18 04:38:38 +01:00
MilhouseVH
712a898ed0
distro-tool: Change default target after server move from web01 to web03
2016-07-10 17:37:24 +01:00
MilhouseVH
9fee54dab1
distro-tool: Ignore text/html responses
2016-05-10 10:55:48 +01:00
MilhouseVH
40aa7d6994
distro-tool: Workaround packages that call exit
2016-05-04 05:20:03 +01:00
MilhouseVH
a0961be05b
distro-tool: Fixes ( #269 )
...
distro-tool: Better handling of unicode text
- More robust version matching
- Add clarity, drop startup delay
- Avoid excessive delays with really slow servers
- Handle 403 response when querying AWS with HEAD
2016-05-01 18:45:28 +02:00
Joerg Felser
cbe327e07e
changed libreelec URLs in (mainly) descriptions to https://libreelec.tv
...
changed libreelec URLs in (mainly) descriptions to https://libreelec.tv
fixup
2016-04-27 11:36:31 +02:00
MilhouseVH
5cada1a6c4
distro-tool: treat 350 status as valid for ftp
2016-04-22 00:38:47 +01:00
MilhouseVH
a3625966ac
tools: improve distro-tool performance
2016-04-18 20:11:00 +01:00
MilhouseVH
591db3277a
tools/distro-tool: initial tool to help check the sources mirror
2016-04-07 13:31:25 -07:00