| <?php |
| #***************************************************************************** |
| # |
| # en_mir_list.php |
| # |
| # Author: Denis Roy |
| # Date: 2004-11-20 |
| # |
| # Description: UI to list mirrors in XML format |
| # |
| # HISTORY: |
| # - 2004-11-25: removed the <mirrors> and </mirrors> markers because platform |
| # team did not want well-formed xml |
| # - 2006-07-07: David Williams |
| # Mirrors list not displayed with some VM's, due to parsing quirk |
| # with non-UTF-8 streams on old crimson parsers. |
| # See https://bugs.eclipse.org/bugs/show_bug.cgi?id=149771 |
| # |
| #**************************************************************************** |
| |
| #include("inc/en_doc_header.php"); |
| #include("inc/en_banner.php"); |
| |
| |
| echo "<?xml version=\"1.0\" encoding=\"UTF-8\"?>\n"; |
| echo "<mirrors>\n"; |
| ?> |
| <?php |
| while ($myrow = mysql_fetch_assoc($rs)) { |
| $path = $myrow['base_path']; |
| $path .= getPath($myrow['drop_id'], $_drop_id, $myrow['rel_path_override'], $myrow['our_path'], $myrow['our_path2']); |
| |
| // To work around bug documented in https://bugs.eclipse.org/bugs/show_bug.cgi?id=149771 |
| // we want to "send" UTF-8 encoding. And, we know we are encoded on eclipse.org as ISO-8859-1, so, |
| // we just convert the NL sensitive parts (spaces, brackets, protocols, etc., would be same in either. |
| |
| $rawPath = $path; |
| $utfPath = mb_convert_encoding($rawPath, "UTF-8", "ISO-8859-1"); |
| |
| $rawCountry = $myrow['country_desc']; |
| $utfCountry = mb_convert_encoding($rawCountry, "UTF-8", "ISO-8859-1"); |
| |
| $rawOrg = str_replace("&", "&", $myrow['organization']); |
| $utfOrg = mb_convert_encoding($rawOrg, "UTF-8", "ISO-8859-1"); |
| |
| ?> |
| <mirror url="<?= $utfPath ?>" label="[<?= $utfCountry ?>] <?= $utfOrg ?> (<?= $myrow['protocol'] ?>)" /> |
| |
| <?php |
| } |
| |
| echo "</mirrors>\n"; |
| ?> |