diff options
| author | Denis Roy | 2015-06-19 20:12:38 +0000 |
|---|---|---|
| committer | Denis Roy | 2015-06-19 20:12:38 +0000 |
| commit | c4dae9663c6a46472e9b4da4b09f49f5021a6878 (patch) | |
| tree | f2b86027737b423d72af6a8c550e5b0d145a252c | |
| parent | f9b734cc9d28ecebdd20093b97a87e0a2ccf243c (diff) | |
| download | downloads-c4dae9663c6a46472e9b4da4b09f49f5021a6878.tar.gz downloads-c4dae9663c6a46472e9b4da4b09f49f5021a6878.tar.xz downloads-c4dae9663c6a46472e9b4da4b09f49f5021a6878.zip | |
Bug 470627] New: mirrors url not returning xml?
Signed-off-by: Denis Roy <denis.roy@eclipse.org>
| -rwxr-xr-x | download.php | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/download.php b/download.php index 78c36944..2b01b055 100755 --- a/download.php +++ b/download.php @@ -484,8 +484,8 @@ } - # Phase 2 - a user picked a mirror for his file (or redirect) - if(($_file != "" && $_mirror_id > 0 && $_url != "") || $_debug) { + # Phase 2 - a user picked a mirror for his file, or redirect, or there are no mirrors + if(($_file != "" && $_mirror_id > 0 && $_url != "" && $_format != "xml") || $_debug) { $ip = $remote_addr; $cnt = 0; # recent downloads @@ -538,7 +538,6 @@ if($_debug == 1) { echo $sql . mysql_error() . "<br />"; } - } else { if($_file != "") { |