in frontend/src/components/TopBar.js [21:84]
function regions(selected) {
const supportedRegions = [
[
["US East (N. Virginia)", "us-east-1"],
["US East (Ohio)", "us-east-2"],
["US West (N. California)", "us-west-1"],
["US West (Oregon)", "us-west-2"],
],
[
["Africa (Cape Town)", "af-south-1"],
],
[
["Asia Pacific (Hong Kong)", "ap-east-1"],
["Asia Pacific (Mumbai)", "ap-south-1"],
["Asia Pacific (Osaka)", "ap-northeast-3"],
["Asia Pacific (Seoul)", "ap-northeast-2"],
["Asia Pacific (Singapore)", "ap-southeast-1"],
["Asia Pacific (Sydney)", "ap-southeast-2"],
["Asia Pacific (Tokyo)", "ap-northeast-1"],
],
[
["Canada (Central)", "ca-central-1"],
],
[
["Europe (Frankfurt)", "eu-central-1"],
["Europe (Ireland)", "eu-west-1"],
["Europe (London)", "eu-west-2"],
["Europe (Milan)", "eu-south-1"],
["Europe (Paris)", "eu-west-3"],
["Europe (Stockholm)", "eu-north-1"],
],
[
["Middle East (Bahrain)", "me-south-1"],
],
[
["South America (São Paulo)", "sa-east-1"],
],
[
["China (Beijing)", "cn-north-1"],
["China (Ningxia)", "cn-northwest-1"],
],
[
["US Gov (east-1)", "us-gov-east-1"],
["US Gov (west-1)", "us-gov-west-1"],
],
];
return supportedRegions.map((regions, i) => {
return {
type: "menu-dropdown",
className: "region-group",
id: i,
text: "",
items: regions.map(([regionName, region]) => {
let className="region";
if(selected === region)
className += " region-selected"
return {type: 'button', id: region,
text: <span className={className}><span className="region-name">{regionName}</span> <span className="region-id">{region}</span></span>
}
})
}
})
}