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)); } }