public function GetProperty($propName)
{
if (in_array($propName, $this->platformProps)) {
return $this->properties[$propName];
} else {
throw new Exception(sprintf("Unknown property '%s' for server on '%s'", $propName, $this->platform));
}
}