DBServer::setOsType PHP Method

    public function setOsType($osType)
    {
        // Invar: use ServerHistory
        $this->osType = $osType;
        if ($this->serverId) {
            $this->SetProperty(\SERVER_PROPERTIES::OS_TYPE, $osType);
        }
        return $this;
    }