private static function updateServerIdMappings()
{
WebtopNaming::$serverIdTable = array();
foreach (WebtopNaming::$namingTable as $key => $value) {
if ($key == null || value == null) {
continue;
}
// If the key is server list skip it, since it would
// have the same value
if ($key == Constants::PLATFORM_LIST) {
continue;
}
WebtopNaming::$serverIdTable[$value] = $key;
}
}
