Bug 437864: download.php script with &format=xml now downloads "archive"

(instead of empty XML list

Signed-off-by: droy <denis.roy@eclipse.org>

1 files changed, 10 insertions, 2 deletions

diff --git a/download.php b/download.php
index 8e23d680..a89ab6ca 100755
--- a/download.php
+++ b/download.php
@@ -352,8 +352,16 @@
 						exit;
 					}
 					else {
-						header("Location: " . $archiveBaseURL . $_file);
-						exit;
+						# File exists on archive.eclipse.org.  No mirrors, or redirect to the actual file.
+						if($_format == "xml") {
+							$app->sendXMLHeader();
+							include("content/en_mir_list_xml.php");
+							return false;
+						}
+						else {
+							header("Location: " . $archiveBaseURL . $_file);
+							exit;
+						}
 					}
 				}
 			}