pidgin/old.pidgin.im

Add a change that was done on the server

2018-03-09, Gary Kramlich
eef025a45c63
Parents eca0063d7186
Children 10e1dfc96e42
Add a change that was done on the server
1 files changed, 3 insertions(+), 3 deletions(-)
  • +3 -3
    htdocs/win32/download_redir.php
    • --- a/htdocs/win32/download_redir.php Fri Mar 09 12:44:04 2018 -0600
    +++ b/htdocs/win32/download_redir.php Fri Mar 09 12:46:20 2018 -0600
    @@ -11,10 +11,10 @@
    $lang_file = $_GET['lang_file'];
    //Temporarily forward to a mirror that's still up - later we can do something better
    $base_urls = array(
    - //'http://download.services.openoffice.org/files/contrib/dictionaries/'
    + 'http://download.services.openoffice.org/files/contrib/dictionaries/',
    //'http://mirror.sit.wisc.edu/pub/openoffice/contrib/dictionaries/',
    - 'http://ftp.ntu.edu.tw/ftp/OpenOffice/contrib/dictionaries/',
    - 'http://ftp.sunet.se/pub/Office/OpenOffice.org/contrib/dictionaries/',
    + 'http://ftp.ntu.edu.tw/OpenOffice/contrib/dictionaries/',
    + //'http://ftp.sunet.se/pub/Office/OpenOffice.org/contrib/dictionaries/',
    'http://www.mirrorservice.org/sites/download.openoffice.org/contrib/dictionaries/'
    );
    $idx = rand(0, count($base_urls) - 1);