/**
* This function returns server from the id.
*/
public static function getServerFromID($serverID)
{
$server = null;
// refresh local naming table in case the key is not found
if (WebtopNaming::$namingTable != null) {
$server = WebtopNaming::getValueFromTable(WebtopNaming::$namingTable, $serverID);
}
if ($server == null) {
WebtopNaming::getNamingProfile(true);
$server = WebtopNaming::getValueFromTable(WebtopNaming::$namingTable, $serverID);
}
if ($server == null) {
throw new Exception("No server found: " . $serverID);
}
return $server;
}
