--- a/htdocs/win32/download_redir.php Sun Mar 03 19:37:33 2013 -0800
+++ b/htdocs/win32/download_redir.php Sun Mar 10 23:05:28 2013 -0400
@@ -10,10 +10,12 @@
$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/ftp/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);
$fwd_url = $base_urls[$idx] . $lang_file;