Yann E. MORIN" 15bde07c86 scripts: add option to only use the mirror
Currently, if downloads are forbidden, the mirror is still tried for.

Change this way:
  - if downlaods forbidden, do not try neither upstream locations nor mirror
  - add option to only use the mirror, and avoid upstream locations

Signed-off-by: Austin Morton <austinpmorton@gmail.com>
[yann.morin.1998@free.fr: broaden the if USE_MIRRORto enclode mirror location]
Signed-off-by: "Yann E. MORIN" <yann.morin.1998@free.fr>
2012-08-12 07:45:42 -04:00
..
2012-09-12 17:42:38 +08:00
2012-01-16 23:36:42 +01:00
2012-08-04 23:40:16 +02:00
2012-05-08 22:30:05 +02:00
2012-01-16 23:36:42 +01:00
2009-10-30 20:08:44 +01:00
2012-01-16 23:36:42 +01:00