Как отправить HTTP-запрос на определенный порт с помощью Ciao?

В настоящее время у меня есть REST клиент для работы на ардуино, но запросы всегда поступают на порт 80, как я могу заставить его отправить запрос на определенный порт?

Это мой текущий код: /* Файл: RestClient.ino В этом примере через 10 секунд выполняется HTTP-запрос и отображается результат как в последовательном мониторе, так и в wifi-консоли Arduino Uno WiFi.

Примечание: работает только с Arduino Uno WiFi Developer Edition.

http://www.arduino.org/learning/tutorials/boards-tutorials/restserver-and-restclient

#include <Wire.h>
#include <UnoWiFiDevEd.h>

void setup() {

    const char* connector = "rest";
    const char* server = "download.arduino.org";
    const char* method = "GET";
    const char* resource = "/latest.txt";

    Serial.begin(9600);
    Ciao.begin();

    pinMode(2, INPUT);

    delay(10000);
    doRequest(connector, server, resource, method);
}

void loop() {

}

void doRequest(const char* conn, const char* server, const char* command, const char* method){
    CiaoData data = Ciao.write(conn, server, command, method);
    if (!data.isEmpty()){
        Ciao.println( "State: " + String (data.get(1)) );
        Ciao.println( "Response: " + String (data.get(2)) );
        Serial.println( "State: " + String (data.get(1)) );
        Serial.println( "Response: " + String (data.get(2)) );
    }
    else{
        Ciao.println ("Ошибка записи");
        Serial.println ("Ошибка записи");
    }
}

Если я добавлю, например :8080 в конец переменной сервера, это не сработает.

Итак, как мне отправить этот запрос на определенный порт?