private static function updateServerProperties($url)
{
$bits = parse_url($url);
WebtopNaming::$amServer = $bits['host'];
WebtopNaming::$amServerPort = isset($bits['port']) ? $bits['port'] : 80;
WebtopNaming::$amServerProtocol = isset($bits['protocol']) ? $bits['protocol'] : "http";
SystemProperties::set(Constants::AM_SERVER_HOST, WebtopNaming::$amServer);
SystemProperties::set(Constants::AM_SERVER_PORT, WebtopNaming::$amServerPort);
SystemProperties::set(Constants::AM_SERVER_PROTOCOL, WebtopNaming::$amServerProtocol);
}
