diff --git a/doc/download.php b/doc/download.php index 8d74d3fcde..d33adc53fc 100755 --- a/doc/download.php +++ b/doc/download.php @@ -23,21 +23,17 @@ $type_name = $_GET["type"]; require_once("versions.inc"); $url_base = "http://boinc.berkeley.edu/dl/"; - -/* - // $url_base = "http://boinc2.ssl.berkeley.edu/boinc/dl/"; -switch(rand(0,3)) { - case 0: $url_base = "http://morel.mit.edu/download/boinc/dl/"; break; - case 1: $url_base = "http://einstein.aei.mpg.de/download/boinc/dl/"; break; - case 2: $url_base = "http://einstein.astro.gla.ac.uk/download/boinc/dl/"; break; - case 3: $url_base = "http://einstein.aset.psu.edu/download/boinc/dl/"; break; - //case 4: $url_base = "http://einstein.phys.uwm.edu/download/boinc/dl/"; break; +switch(rand(0,5)) { + case 0: $url_base = "http://boinc.berkeley.edu/dl/"; break; + case 1: $url_base = "http://morel.mit.edu/download/boinc/dl/"; break; + case 2: $url_base = "http://einstein.aei.mpg.de/download/boinc/dl/"; break; + case 3: $url_base = "http://einstein.astro.gla.ac.uk/download/boinc/dl/"; break; + case 4: $url_base = "http://einstein.aset.psu.edu/download/boinc/dl/"; break; + case 5: $url_base = "http://einstein.phys.uwm.edu/download/boinc/dl/"; break; } -*/ - if ($dev) { $url_base = "dl/"; }